| 2008 |
|---|
| 14 | EE | Quoc-Cuong Le,
Patrick Bellot,
Akim Demaille:
Towards the World-Wide Quantum Network.
ISPEC 2008: 218-232 |
| 1999 |
|---|
| 13 | | Patrick Bellot,
J.-P. Cottin,
Bernard Robinet,
Djamil Sarni,
J. Leneutre,
Emmanuel Zarpas:
Prolegomena of a Logic of Causality and Dynamism.
Studia Logica 62(1): 77-105 (1999) |
| 1998 |
|---|
| 12 | EE | Patrick Bellot,
Bernard Robinet:
Logical Synthesis of Imperative O. O. Programs.
LOPSTR 1998: 316-318 |
| 1995 |
|---|
| 11 | | Patrick Bellot,
Olivier Camp,
Christophe Matiachoff:
Explicit Implementation of a Constraint Solving Mechanism in a Relational Programming System.
GULP-PRODE 1995: 401-408 |
| 10 | | Patrick Bellot,
Olivier Camp,
Christophe Matiachoff:
An Overview of MILES and its constraint solving mechanism.
JFPLC 1995: 387-390 |
| 1988 |
|---|
| 9 | | Patrick Bellot:
Unformly Applicative Structures, A Theory of Computability and Polyadic Functions.
FSTTCS 1988: 270-285 |
| 8 | | Patrick Bellot,
Remi Legrand:
Functions and Relations: The GRAAL System.
STACS 1988: 389-390 |
| 7 | | Patrick Bellot,
Djamil Sarni:
Proposal for A Natural Formalization of Functional Programming Concepts.
ITA 22(3): 341-360 (1988) |
| 1987 |
|---|
| 6 | | Patrick Bellot,
Véronique Jay:
A theory for natural modelisation and implementation of functions with variable arity.
FPCA 1987: 212-233 |
| 1986 |
|---|
| 5 | | Patrick Bellot:
GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine.
ESOP 1986: 82-98 |
| 1985 |
|---|
| 4 | | Patrick Bellot,
Bernard Robinet:
Streams are not Dreams.
Combinators and Functional Programming Languages 1985: 1-20 |
| 3 | | Patrick Bellot:
High Order Programming in Extended FP.
FPCA 1985: 65-80 |
| 2 | | Patrick Bellot:
A New Proof for Craig's Theorem.
J. Symb. Log. 50(2): 395-396 (1985) |
| 1984 |
|---|
| 1 | | Patrick Bellot:
Sémantiques comparées des systeèmes de programmation fonctioneele FP et FFP de J. W. Backus.
Symposium on Programming 1984: 23-34 |
