François Lamarche

From MaRDI portal
Person:280834

Available identifiers

zbMath Open lamarche.francoisMaRDI QIDQ280834

List of research outcomes





PublicationDate of PublicationType
Computed multivalues of AGM reveal periodicities of inverse functions2022-08-22Paper
Modeling Martin-Löf type theory in categories2016-05-10Paper
Multiplicative linear logics and fibrations2013-08-16Paper
https://portal.mardi4nfdi.de/entity/Q54239812007-11-01Paper
From Proof Nets to the Free *-Autonomous Category2007-10-11Paper
Typed Lambda Calculi and Applications2005-11-11Paper
Computer Science Logic2005-08-22Paper
https://portal.mardi4nfdi.de/entity/Q47906742003-08-24Paper
Classical non-associative Lambek calculus2002-12-15Paper
https://portal.mardi4nfdi.de/entity/Q42228361998-12-13Paper
https://portal.mardi4nfdi.de/entity/Q42227701998-12-10Paper
https://portal.mardi4nfdi.de/entity/Q48708191996-03-26Paper
Stable domains are generalized topological spaces1993-10-17Paper
Quantitative domains and infinitary algebras1992-06-28Paper
https://portal.mardi4nfdi.de/entity/Q47326031989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37958321988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37840651988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37958331988-01-01Paper

Research outcomes over time

This page was built for person: François Lamarche

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:280834&oldid=7242955"
Powered by MediaWiki