François Lamarche

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Computed multivalues of AGM reveal periodicities of inverse functions	2022-08-22	Paper
Modeling Martin-Löf type theory in categories Journal of Applied Logic	2016-05-10	Paper
Multiplicative linear logics and fibrations Electronic Notes in Theoretical Computer Science	2013-08-16	Paper
Exploring the gap between linear and classical logic	2007-11-01	Paper
Exploring the gap between linear and classical logic	2007-11-01	Paper
From Proof Nets to the Free -Autonomous Category Logical Methods in Computer Science*	2007-10-11	Paper
Typed Lambda Calculi and Applications Lecture Notes in Computer Science	2005-11-11	Paper
Computer Science Logic Lecture Notes in Computer Science	2005-08-22	Paper
scientific article; zbMATH DE number 1863399 (Why is no real title available?)	2003-08-24	Paper
scientific article; zbMATH DE number 1863399 (Why is no real title available?)	2003-08-24	Paper
Classical non-associative Lambek calculus Studia Logica	2002-12-15	Paper
scientific article; zbMATH DE number 1231521 (Why is no real title available?)	1998-12-13	Paper
scientific article; zbMATH DE number 1231467 (Why is no real title available?)	1998-12-10	Paper
scientific article; zbMATH DE number 860047 (Why is no real title available?)	1996-03-26	Paper
Stable domains are generalized topological spaces Theoretical Computer Science	1993-10-17	Paper
Quantitative domains and infinitary algebras Theoretical Computer Science	1992-06-28	Paper
scientific article; zbMATH DE number 4118557 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4061469 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4047715 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4061470 (Why is no real title available?)	1988-01-01	Paper

Research outcomes over time

This page was built for person: François Lamarche