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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Guy Perrier