Frege structures for partial applicative theories

DOI10.1093/logcom/9.5.683zbMath0941.03065OpenAlexW2144566693MaRDI QIDQ4934811

Reinhard Kahle

Publication date: 31 July 2000

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

Full work available at URL: https://semanticscholar.org/paper/acb8049218e5222a50eb7558461cf5a08b4aeec7

zbMATH Keywords

truth theoryapplicative theoriesFrege structurespartialitystreams in strict functional programming languages

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Metamathematics of constructive systems (03F50)

Related Items (2)

THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES ⋮ Universes over Frege structures

This page was built for publication: Frege structures for partial applicative theories