scientific article
From MaRDI portal
Publication:3705422
zbMath0582.03007MaRDI QIDQ3705422
No author found.
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
type theorytyped lambda-calculusoracle ruleGirard-Reynolds inference rulessemantic models of type inference
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)
Related Items (5)
A characterization of F-complete type assignments ⋮ On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ Type inference with subtypes ⋮ Constructing type systems over an operational semantics ⋮ Semi-explicit first-class polymorphism for ML.
This page was built for publication:
