Person:1272762

Available identifiers

zbMath Open perrier.guyMaRDI QIDQ1272762

List of research outcomes

Publication	Date of Publication	Type
Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions	2011-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q3536413	2008-11-21	Paper
Lexical Disambiguation with Polarities and Automata	2007-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q2757832	2001-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4501142	2000-09-03	Paper
Labelled proof nets for the syntax and semantics of natural languages	2000-01-17	Paper
A PSPACE-complete fragment of second-order linear logic	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4255504	1999-08-16	Paper
Concurrent programming as proof net construction	1999-03-22	Paper
A note on Kobayashi's and Yonezawa's ``Asynchronous communication model based on linear logic	1999-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q4376072	1997-01-01	Paper
On proof normalization in linear logic	1995-01-11	Paper

Research outcomes over time

This page was built for person: Guy Perrier