A non-uniform finitary relational semantics of system T
From MaRDI portal
Publication:2842243
DOI10.1051/ita/2012031zbMath1338.03051OpenAlexW2154723773MaRDI QIDQ2842243
Publication date: 13 August 2013
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1051/ita/2012031
relational semanticslazy semanticsdenotational semanticsfiniteness spaceGödel system \(T\)higher-order primitive recursion
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40) Higher-type and set recursion theory (03D65)
Related Items (1)
This page was built for publication: A non-uniform finitary relational semantics of system T
