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

Mathematical Structures in Computer Science

Journal Article

R. Matthes

Publication

Year of publication: 2019

Volume: 29

Issue: 8

Pages: 1092-1124

Identifiers

ISSN: 1469-8072

Other: 2-s2.0-85045676303

Locators

Alternative Titles