Semantics for classical AUTOMATH and related systems
From MaRDI portal
Publication:3678692
DOI10.1016/S0019-9958(83)80033-3zbMath0564.68060OpenAlexW2060194015MaRDI QIDQ3678692
Adrian Rezuş, Hendrik Pieter Barendregt
Publication date: 1983
Published in: Information and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0019-9958(83)80033-3
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
On the syntax of Martin-Löf's type theories ⋮ The calculus of constructions ⋮ Semantics of the second order lambda calculus ⋮ Categorical semantics for higher order polymorphic lambda calculus ⋮ The semantics of second-order lambda calculus ⋮ A coinductive completeness proof for the equivalence of recursive types
This page was built for publication: Semantics for classical AUTOMATH and related systems
