Loïc Colson - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2013

Investigations on a Pedagogical Calculus of ConstructionsLoïc Colson, Vincent Demange. jucs, 19(6):729-749, 2013. [doi]

2008

Pedagogical Second-order Propositional CalculiLoïc Colson, David Michel. logcom, 18(4):669-695, 2008. [doi]

2007

Pedagogical Natural Deduction Systems: the Propositional CaseLoïc Colson, David Michel. jucs, 13(10):1396-1410, 2007. [doi]

Another Paradox In Naive Set-TheoryLoïc Colson. sLogica, 85(1):33-39, 2007. [doi]

2004

lambda-P Systems and Typed lambda-CalculusLoïc Colson, Natasa Jonoska, Maurice Margenstern. membrane 2005: 1-18 [doi]

2002

Syntactical Truth Predicates for Formulas with Atomic NegationLoïc Colson. mscs, 12(1):1-18, 2002.

2001

Functions Versus AlgorithmsLoïc Colson. In Current Trends in Theoretical Computer Science. pages 343-362, 2001.

Syntactical Truth Predicates For Second Order ArithmeticLoïc Colson, Serge Grigorieff. JSYML, 66(1):225-256, 2001.

1999

On Diagonal Fixed Points of Increasing FunctionsLoïc Colson. TCS, 222(1-2):181-186, 1999. [doi]

1998

System T, Call-by-Value and the Minimum ProblemLoïc Colson, Daniel Fredholm. TCS, 206(1-2):301-315, 1998. [doi]

The Logic in Computer Science Column Functions versus AlgorithmsLoïc Colson. eatcs, 65:98-117, 1998.

1996

A Unary Representation Result for System TLoïc Colson. AMAI, 16:385-403, 1996.

1994

On Strong Stability and Higher-Order SequentialityLoïc Colson, Thomas Ehrhard. lics 1994: 103-108

1992

On List Primitive Recursion and the Complexity of Computing ::::inf::::Loïc Colson. bit, 32(1):5-9, 1992.

1991

About Primitive Recursive AlgorithmsLoïc Colson. TCS, 83(1):57-69, 1991.

1989

About Primitive Recursive AlgorithmsLoïc Colson. icalp 1989: 194-206

Sign in or sign up to see more results.

runs on WebDSL