Inhabitation in simply-typed lambda-calculus through a lambda-calculus for proof search

Leibniz International Proceedings in Informatics, LIPIcs

Conference Paper

R. Matthes

L. Pinto

Publication

Year of publication: 2017

Volume: 104

Pages: 59-60

Identifiers

ISSN: 18688969

Other: 2-s2.0-85086938986

Locators

Alternative Titles