scientific article
From MaRDI portal
Publication:2778814
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
A decidable theory of type assignment ⋮ Elementary Proof of Strong Normalization for Atomic F ⋮ How to assign ordinal numbers to combinatory terms with polymorphic types ⋮ Parameter-free polymorphic types ⋮ MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics
This page was built for publication:
