Loïc Colson

According to our database, Loïc Colson authored at least 17 papers between 1991 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Investigations on a Pedagogical Calculus of Constructions.

Loïc Colson, Vincent Demange

J. Univers. Comput. Sci., 2013

2009

Pedagogical second-order lambda-calculus.

Loïc Colson, David Michel

Theor. Comput. Sci., 2009

2008

Pedagogical Second-order Propositional Calculi.

Loïc Colson, David Michel

J. Log. Comput., 2008

Preface.

Christian Choffrut, Loïc Colson

RAIRO Theor. Informatics Appl., 2008

2007

Another Paradox In Naive Set-Theory.

Loïc Colson

Stud Logica, 2007

Pedagogical Natural Deduction Systems: the Propositional Case.

Loïc Colson, David Michel

J. Univers. Comput. Sci., 2007

2004

lambda-P Systems and Typed lambda-Calculus.

Loïc Colson, Natasa Jonoska, Maurice Margenstern

Proceedings of the Membrane Computing, 5th International Workshop, 2004

2002

Syntactical Truth Predicates for Formulas with Atomic Negation.

Loïc Colson

Math. Struct. Comput. Sci., 2002

2001

Syntactical Truth Predicates For Second Order Arithmetic.

Loïc Colson, Serge Grigorieff

J. Symb. Log., 2001

Functions Versus Algorithms.

Loïc Colson

Proceedings of the Current Trends in Theoretical Computer Science, 2001

1999

On Diagonal Fixed Points of Increasing Functions.

Loïc Colson

Theor. Comput. Sci., 1999

1998

System T, Call-by-Value and the Minimum Problem.

Loïc Colson, Daniel Fredholm

Theor. Comput. Sci., 1998

The Logic in Computer Science Column Functions versus Algorithms.

Loïc Colson

Bull. EATCS, 1998

1996

A Unary Representation Result for System T.

Loïc Colson

Ann. Math. Artif. Intell., 1996

1994

On Strong Stability and Higher-Order Sequentiality

Loïc Colson, Thomas Ehrhard

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1992

On List Primitive Recursion and the Complexity of Computing <i>inf</i>.

Loïc Colson

BIT, 1992

1991

About Primitive Recursive Algorithms.

Loïc Colson

Theor. Comput. Sci., 1991