Loïc Colson

19 papers A* 2Journal 15Unranked 1
YearRankTypeTitle / Venue / Authors
2013 J jnl
Investigations on a Pedagogical Calculus of Constructions.
J. Univers. Comput. Sci.
Loïc Colson, Vincent Demange
2012 J jnl
Investigations on a Pedagogical Calculus of Constructions
CoRR
Loïc Colson, Vincent Demange
2009 J jnl
Pedagogical second-order lambda-calculus.
Theor. Comput. Sci.
Loïc Colson, David Michel
2008 J jnl
Pedagogical Second-order Propositional Calculi.
J. Log. Comput.
Loïc Colson, David Michel
2008 J jnl
Preface.
RAIRO Theor. Informatics Appl.
Christian Choffrut, Loïc Colson
2007 J jnl
Another Paradox In Naive Set-Theory.
Stud Logica
Loïc Colson
2007 J jnl
Pedagogical Natural Deduction Systems: the Propositional Case.
J. Univers. Comput. Sci.
Loïc Colson, David Michel
2004 — conf
lambda-P Systems and Typed lambda-Calculus.
Workshop on Membrane Computing
Loïc Colson, Natasa Jonoska, Maurice Margenstern
2002 J jnl
Syntactical Truth Predicates for Formulas with Atomic Negation.
Math. Struct. Comput. Sci.
Loïc Colson
2001 — ch.
Functions Versus Algorithms.
Current Trends in Theoretical Computer Science
Loïc Colson
2001 J jnl
Syntactical Truth Predicates For Second Order Arithmetic.
J. Symb. Log.
Loïc Colson, Serge Grigorieff
1999 J jnl
On Diagonal Fixed Points of Increasing Functions.
Theor. Comput. Sci.
Loïc Colson
1998 J jnl
System T, Call-by-Value and the Minimum Problem.
Theor. Comput. Sci.
Loïc Colson, Daniel Fredholm
1998 J jnl
The Logic in Computer Science Column Functions versus Algorithms.
Bull. EATCS
Loïc Colson
1996 J jnl
A Unary Representation Result for System T.
Ann. Math. Artif. Intell.
Loïc Colson
1994 A* conf
On Strong Stability and Higher-Order Sequentiality
LICS
Loïc Colson, Thomas Ehrhard
1992 J jnl
On List Primitive Recursion and the Complexity of Computing
BIT
Loïc Colson
1991 J jnl
About Primitive Recursive Algorithms.
Theor. Comput. Sci.
Loïc Colson
1989 A* conf
About Primitive Recursive Algorithms.
ICALP
Loïc Colson