scientific article; zbMATH DE number 1342219
From MaRDI portal
Publication:4263804
zbMath0933.03027MaRDI QIDQ4263804
Publication date: 29 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)
Related Items (6)
Monotone recursive types and recursive data representations in Cedille ⋮ Unnamed Item ⋮ Some Remarks on Type Systems for Course-of-value Recursion ⋮ Non-strictly positive fixed points for classical natural deduction ⋮ Monotone (co)inductive types and positive fixed-point types ⋮ Two extensions of system F with (co)iteration and primitive (co)recursion principles
This page was built for publication:
