Programming in Martin-Löf's Type Theory

15 years 2 months ago

Download www.cs.chalmers.se

"This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective. It is intended for researchers and graduate students with an interest in the foundations of computing science, and it is mathematically self-contained."

Bengt Nordström, Kent Petersson, Jan M. Smith

Real-time Traffic

Functional Programming | Programming Languages | Type Theory |

posted by scimaster

» The generalised typetheoretic interpretation of constructive set theory

» Embedding a logical theory of constructions in Agda

» Lexicographic Path Induction

» Representing Nested Inductive Types Using WTypes

» On the Existence and Convergence of Computable Universal Priors

» The Expressive Power of Structural Operational Semantics with Explicit Assumptions

» Types for UnitsofMeasure Theory and Practice

» Canonicity for 2dimensional type theory

» A type theory for probability density functions

Post Info
More Details (n/a)

Added	07 Feb 2009
Updated	07 Feb 2009
Authors	Bengt Nordström, Kent Petersson, Jan M. Smith

Comments (0)

	Introduction to Logic 1569 views
	Linear Matrix Inequalities in System and Control Theory 1455 views
	Linear Controller Design Limits of Performance 1500 views
	Spatial Reasoning: Theory and Practice 1331 views
	Spatial Augmented Reality Merging Real and Virtual Worlds 1752 views

Sciweavers

Programming in Martin-Löf's Type Theory

Functional Programming | Programming Languages | Type Theory |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers