TinkerType: a language for playing with formal systems

DOI10.1017/S0956796802004550zbMath1062.68039OpenAlexW2132837945MaRDI QIDQ4457834

Benjamin C. Pierce, Michael Y. Levin

Publication date: 17 March 2004

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796802004550

zbMATH Keywords

typed lambda-calculi

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items

A Rewriting Logic Approach to Type Inference, Ott: Effective tool support for the working semanticist, Implicit Propagation in Structural Operational Semantics, TinkerType

Uses Software

• Automath