Simply-typed underdeterminism

DOI10.1007/BF02946491zbMath0914.03018MaRDI QIDQ1273067

Ewen Denney

Publication date: 2 December 1998

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

semanticsskeletonprogram refinementHenkin modelsstubtop-down program developmentunderdeterminism

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Uses Software

• LEGO

Cites Work

• Unnamed Item
• Notions of computation and monads
• Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi
• Completeness in the theory of types

This page was built for publication: Simply-typed underdeterminism