256 citations
- Centre National de la Recherche ScientifiqueFR51 papers
- Laboratoire de physique des lasersFR31 papers
- Université Paris CitéFR31 papers
- Laboratoire Analyse, Géométrie et ApplicationsFR22 papers
- Laboratoire d'Informatique de Paris-NordFR19 papers
- Sorbonne UniversitéFR7 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR6 papers
- Laboratoire de Physique Théorique de la Matière CondenséeFR6 papers
- Université Paris-SudFR5 papers
- CEA Paris-SaclayFR3 papers
- Institut de Chimie de la Matière Condensée de BordeauxFR3 papers
- Institute of Nuclear Physics, Polish Academy of SciencesPL3 papers
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…