scientific article; zbMATH DE number 3561307
From MaRDI portal
Publication:4133944
Cited in
(4)- On the existence of closed terms in the typed lambda calculus II: Transformations of unification problems
- One method of defining the semantics of programming language constructs in terms of lambda calculus. II
- Investigations into proof-search in a system of first-order dependent function types
- Computer theorem proving in mathematics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4133944)
