On principal types of BCK-λ-terms
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Book
L. Damas
Publication
Year of publication: 2007
Volume: 4576 LNCS
Pages: 120-130
Identifiers
Other: 2-s2.0-38149041636