Loïc Colson

Publication Activity (10 Years)

Years Active: 1989-2013
Publications (10 Years): 0

Top Topics

Learning Design

Digital Forensics

Top Venues

J. Univers. Comput. Sci.

Publications

Loïc Colson, Vincent Demange
Investigations on a Pedagogical Calculus of Constructions. J. Univers. Comput. Sci. 19 (6) (2013)
Loïc Colson, Vincent Demange
Investigations on a Pedagogical Calculus of Constructions CoRR (2012)
Loïc Colson, David Michel
Pedagogical second-order lambda-calculus. Theor. Comput. Sci. 410 (42) (2009)
Christian Choffrut, Loïc Colson
Preface. RAIRO Theor. Informatics Appl. 42 (1) (2008)
Loïc Colson, David Michel
Pedagogical Second-order Propositional Calculi. J. Log. Comput. 18 (4) (2008)
Loïc Colson
Another Paradox In Naive Set-Theory. Stud Logica 85 (1) (2007)
Loïc Colson, David Michel
Pedagogical Natural Deduction Systems: the Propositional Case. J. Univers. Comput. Sci. 13 (10) (2007)
Loïc Colson, Natasa Jonoska, Maurice Margenstern
lambda-P Systems and Typed lambda-Calculus. Workshop on Membrane Computing (2004)
Loïc Colson
Syntactical Truth Predicates for Formulas with Atomic Negation. Math. Struct. Comput. Sci. 12 (1) (2002)
Loïc Colson, Serge Grigorieff
Syntactical Truth Predicates For Second Order Arithmetic. J. Symb. Log. 66 (1) (2001)
Loïc Colson
On Diagonal Fixed Points of Increasing Functions. Theor. Comput. Sci. 222 (1-2) (1999)
Loïc Colson, Daniel Fredholm
System T, Call-by-Value and the Minimum Problem. Theor. Comput. Sci. 206 (1-2) (1998)
Loïc Colson
The Logic in Computer Science Column Functions versus Algorithms. Bull. EATCS 65 (1998)
Loïc Colson
A Unary Representation Result for System T. Ann. Math. Artif. Intell. 16 (1996)
Loïc Colson, Thomas Ehrhard
On Strong Stability and Higher-Order Sequentiality LICS (1994)
Loïc Colson
. BIT 32 (1) (1992)
Loïc Colson
About Primitive Recursive Algorithms. Theor. Comput. Sci. 83 (1) (1991)
Loïc Colson
About Primitive Recursive Algorithms. ICALP (1989)