A unary representation result for system \(T\)
type: Item
instance of: scholarly article
title: A unary representation result for system \(T\)
zbMATH Open document ID: 0860.68044
DOI: 10.1007/BF02127804
author: Loïc Colson
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1996-12-01T00:00:00Z
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 951957
zbMATH Keywords: Gödel system
MaRDI profile type: Publication
cites work: On list primitive recursion and the complexity of computing inf
cites work: Q4001132
cites work: The Expressiveness of Simple and Second-Order Type Structures
cites work: Q3994895
cites work: ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
cites work: Q5812175
cites work: Q3688389
cites work: LCF considered as a programming language
cites work: Intensional interpretations of functionals of finite type I
full work available at URL: https://doi.org/10.1007/bf02127804
OpenAlex ID: W2074640713
description: scientific article; zbMATH DE number 951957