scientific article; zbMATH DE number 3561307
From MaRDI portal
Publication:4133944
zbMATH Open0361.02037MaRDI QIDQ4133944FDOQ4133944
Authors: Gérard Huet 
Publication date: 1975
Title of this publication is not available (Why is that?)
Cited In (4)
- Computer theorem proving in mathematics
- One method of defining the semantics of programming language constructs in terms of lambda calculus. II
- On the existence of closed terms in the typed lambda calculus II: Transformations of unification problems
- Investigations into proof-search in a system of first-order dependent function types
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)
