Publication:2778814
From MaRDI portal
zbMath0981.03020MaRDI QIDQ2778814
Thorsten Altenkirch, Thierry Coquand
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2044/20440022
03B40: Combinatory logic and lambda calculus
Related Items
MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics, A decidable theory of type assignment, How to assign ordinal numbers to combinatory terms with polymorphic types, Parameter-free polymorphic types, Elementary Proof of Strong Normalization for Atomic F