| |
| 2006 | ||
|---|---|---|
| 4 | Tristan Crolard, Samuel Lacas, Pierre Valarcher: On the Expressive Power of the Loop Language. Nord. J. Comput. 13(1-2): 46-57 (2006) | |
| 2005 | ||
| 3 | EE | Philippe Andary, Bruno Patrou, Pierre Valarcher: About Implementation of Primitive Recursive Algorithms. Abstract State Machines 2005: 77-90 |
| 2000 | ||
| 2 | EE | Pierre Valarcher: Intensional semantics of system T of Gödel. Electr. Notes Theor. Comput. Sci. 35: (2000) |
| 1996 | ||
| 1 | Pierre Valarcher: Intensionality versus Extensionality and Primitive Recursion. ASIAN 1996: 142-151 | |
| 1 | Philippe Andary | [3] |
| 2 | Tristan Crolard | [4] |
| 3 | Samuel Lacas | [4] |
| 4 | Bruno Patrou | [3] |