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

DOI10.1051/ITA/1995290402931zbMATH Open0838.68062OpenAlexW124266652MaRDI QIDQ4858846FDOQ4858846

Authors: 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

Recommendations

• Publication:4862127
• Classical Program Extraction in the Calculus of Constructions
• The value of a classical integer in \(\lambda \mu\)-calculus
• Classical logic, storage operators and second-order lambda-calculus
• A symmetric lambda calculus for classical program extraction

zbMATH Keywords

operational characterization of classical integers

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Classical logic, storage operators and second-order lambda-calculus
• Title not available (Why is that?)

Cited In (1)

• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4858846)