369 citations
- Université Sorbonne Paris NordFR6 papers
- Laboratoire de Physique Théorique de la Matière CondenséeFR2 papers
- California State University, Long BeachUS1 paper
- Centre d'études et de recherche en informatique et communicationsFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Institute of Nuclear Physics, Polish Academy of SciencesPL1 paper
- Institutt for Grafiske MedierNO1 paper
- Laboratoire de physique des lasersFR1 paper
- Laboratoire de Physique ThéoriqueFR1 paper
- Laboratoire d'Informatique Gaspard-MongeFR1 paper
- Laser & Plasma Technologies (United States)US1 paper
- Little Priest Tribal CollegeUS1 paper
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2005★ 1 cited
Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant
David Delahaye, Micaela Mayero
We present the proof of Diophantus' 20th problem (book VI of Diophantus' Arithmetica), which consists in wondering if there exist right triangles whose sides may be measured as int…
cs.LO2004
Modules and Logic Programming
Christophe Fouquere, Virgile Mogbil
We study conditions for a concurrent construction of proof-nets in the framework developed by Andreoli in recent papers. We define specific correctness criteria for that purpose. W…
cs.LO2003★ 1 cited
Soft lambda-calculus: a language for polynomial time computation
Patrick Baillot, Virgile Mogbil
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi…