scientific article; zbMATH DE number 3365217

MaRDI QIDQ5638282zbMATH OpenFDO

Authors Per Martin-Löf

Publication date 1971

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cited in

(9)

• Typing and computational properties of lambda expressions
• A type theoretic interpretation of constructive domain theory
• Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik
• A simple proof of second-order strong normalization with permutative conversions
• TYPED TIMED INPUT/OUTPUT AUTOMATA IN REAL-TIME, CYBERNETIC EXPLANATION
• An intuitionistic version of Ramsey's theorem and its use in program termination
• On the proof theory of Coquand's calculus of constructions
• Topological quantum gates in homotopy type theory
• A rationale for conditional equational programming

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5638282)