An introduction to dependent type theory
From MaRDI portal
Recommendations
Cited in
(17)- J-Calc: a typed lambda calculus for intuitionistic justification logic
- Dependent types and fibred computational effects
- Context dependent procedures and computed types in \texttt{VeriFun}
- The essence of dependent object types
- On generically stable types in dependent theories
- Dependently typed programming in Agda
- scientific article; zbMATH DE number 4052993 (Why is no real title available?)
- Do we need dependent types?
- Dependent types ensure partial correctness of theorem provers
- Dependent Types at Work
- Dependent types in mathematical theory of programming
- Cayenne -- a language with dependent types
- Dependent types and program equivalence
- Dependent ML An approach to practical programming with dependent types
- A dependent type theory with names and binding
- Cayenne -- a language with dependent types
- Editorial: Special issue on programming with dependent types
This page was built for publication: An introduction to dependent type theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4813221)
