François Lamarche

According to our database, François Lamarche authored at least 13 papers between 1992 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

Modeling Martin-Löf type theory in categories.

François Lamarche

J. Appl. Log., 2014

2006

From Proof Nets to the Free *-Autonomous Category.

François Lamarche, Lutz Straßburger

Log. Methods Comput. Sci., 2006

2005

Naming Proofs in Classical Propositional Logic.

François Lamarche, Lutz Straßburger

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Constructing Free Boolean Categories.

François Lamarche, Lutz Straßburger

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2004

On Proof Nets for Multiplicative Linear Logic with Units.

Lutz Straßburger, François Lamarche

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2002

Classical Non-Associative Lambek Calculus.

Philippe de Groote, François Lamarche

Stud Logica, 2002

Multiplicative Linear Logics and Fibrations.

François Lamarche

Proceedings of the Category Theory and Computer Science, 2002

1996

From Proof Nets to Games.

François Lamarche

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

1995

Generalizing coherent domains and hypercoherences.

François Lamarche

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Games Semantics for Full Propositional Linear Logic

François Lamarche

Proceedings of the Proceedings, 1995

1994

From Chu Spaces to Cpos.

François Lamarche

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1993

Stable Domains are Generalized Topological Spaces.

François Lamarche

Theor. Comput. Sci., 1993

1992

Quantitative Domains and Infinitary Algebras.

François Lamarche

Theor. Comput. Sci., 1992