Programming in Martin-Löf''s Type Theory



Tags: Computer Science Compilers and Languages Programming Formal Methods

Read Programming in Martin-Löf''s Type Theory Online

   

NEW!!!

TOOOO Many results in general search?!! Try this customized search engine for searching online books


Most Active Tags

Most Popular Online books In this Category

Computer Architecture Tutorial
Encyclopaedia of Networking
Compiler Theory and Design
Algorithms for Programmers
Handbook of Algorithms and Data Structures
Compiler Design and Implementation
Algorithm Design - Foundations, Analysis & Internet Examples
Database Management Systems Revisited
A Compact Guide to Lex & Yacc
A Practical Theory of Programming

Latest Online books In this Category

Beginning Algorithms
Dr. Dobb's Essential Books on Algorithms and Data Structures
Introduction to algorithms
feynman Lectures on computation
A Programmers Companion to Algorithm Analysis
Practical Algorithms for programmers
Memory Management Algorithms and Implementation in C++
Beginning Perl for Bioinformatics
Developing Bioinformatics Computer Skills
BioComputing Hypertext Coursebook
Introduction to Bioinformatics
Structural Bioinformatics
Algorithms in Bioinformatics
Intelligent Bioinformatics: The Application of Artificial Intelligence Techniques to Bioinformatics Problems
Current Protocols in Bioinformatics
Mastering Perl for Bioinformatics by James D. Tisdall
Introduction to Computer Science and Programming
Bioinformatics and Proteomics
Machine Learning, Neural and Statistical Classification
Computational Mind: A Complex Dynamics Perspective (Studies in Computational Intelligence)
Machine Learning and Robot Perception
Theoretical Introduction to Programming
the manuscripts of Edsger W. Dijkstra
Computational Geometry
The Aesthetics of Symmetry
Algorithmic Mathematical Art
Geometry Formulas and Facts
Geometric Folding Algorithms:
3D Programming Demos and Tutorials
Reasoning About Knowledge