scientific article
From MaRDI portal
Publication:2778821
zbMath0981.03023MaRDI QIDQ2778821
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2044/20440166
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Combinatory logic and lambda calculus (03B40)
Related Items (5)
From realizability to induction via dependent intersection ⋮ Monotone recursive types and recursive data representations in Cedille ⋮ An intuitionistic set-theoretical model of fully dependent CC ⋮ The calculus of dependent lambda eliminations ⋮ Unnamed Item
Uses Software
This page was built for publication:
