The Inf function in the system \(F\)

DOI10.1016/0304-3975(93)00088-MzbMath0829.68072OpenAlexW2087605947MaRDI QIDQ1346636

V. Pereyra

Publication date: 6 April 1995

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(93)00088-m

zbMATH Keywords

lambda calculus

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Logic in artificial intelligence (68T27) Grammars and rewriting systems (68Q42)

Related Items (2)

Decidability results for primitive recursive algorithms ⋮ On the asymptotic behaviour of primitive recursive algorithms

Cites Work

• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
• Recursive programming with proofs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Inf function in the system \(F\)