scientific article; zbMATH DE number 3365217
From MaRDI portal
Publication:5638282
zbMath0231.02039MaRDI QIDQ5638282
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
A type theoretic interpretation of constructive domain theory ⋮ A rationale for conditional equational programming ⋮ An intuitionistic version of Ramsey's theorem and its use in program termination ⋮ On the proof theory of Coquand's calculus of constructions ⋮ TYPED TIMED INPUT/OUTPUT AUTOMATA IN REAL-TIME, CYBERNETIC EXPLANATION ⋮ Typing and computational properties of lambda expressions ⋮ 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
This page was built for publication:
