Lazy Theories of Operations and Types

DOI10.1093/LOGCOM/3.1.77zbMath0797.68109OpenAlexW2089247106MaRDI QIDQ4272506

Raymond Turner

Publication date: 6 December 1993

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/3.1.77

zbMATH Keywords

typesterminationfunctional programmingconstructive set theoryoperationsproofs and programs

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Inner models, including constructibility, ordinal definability, and core models (03E45) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Realist Consequence, Epistemic Inference, Computational Correctness

This page was built for publication: Lazy Theories of Operations and Types