Projects top banner

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

Locators

Alternative Titles

Preprint

File