Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul

DOI10.1051/ita/1995290402931zbMath0838.68062OpenAlexW124266652MaRDI QIDQ4858846

Karim Nour

Publication date: 1 February 1996

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/92511

zbMATH Keywords

operational characterization of classical integers

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

• Classical logic, storage operators and second-order lambda-calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul