Loïc Colson

	2012
18		Loïc Colson, Vincent Demange: Investigations on a Pedagogical Calculus of Constructions CoRR abs/1203.3568: (2012)
	2009
17		Loïc Colson, David Michel: Pedagogical second-order lambda-calculus. Theor. Comput. Sci. 410(42): 4190-4203 (2009)
	2008
16		Christian Choffrut, Loïc Colson: Preface. ITA 42(1): 1-4 (2008)
15		Loïc Colson, David Michel: Pedagogical Second-order Propositional Calculi. J. Log. Comput. 18(4): 669-695 (2008)
	2007
14		Loïc Colson, David Michel: Pedagogical Natural Deduction Systems: the Propositional Case. J. UCS 13(10): 1396-1410 (2007)
13		Loïc Colson: Another Paradox In Naive Set-Theory. Studia Logica 85(1): 33-39 (2007)
	2004
12		Loïc Colson, Natasa Jonoska, Maurice Margenstern: lambda-P Systems and Typed lambda-Calculus. Workshop on Membrane Computing 2004: 1-18
	2002
11		Loïc Colson: Syntactical Truth Predicates for Formulas with Atomic Negation. Mathematical Structures in Computer Science 12(1): 1-18 (2002)
	2001
10		Loïc Colson: Functions Versus Algorithms. Current Trends in Theoretical Computer Science 2001: 343-362
9		Loïc Colson, Serge Grigorieff: Syntactical Truth Predicates For Second Order Arithmetic. J. Symb. Log. 66(1): 225-256 (2001)
	1999
8		Loïc Colson: On Diagonal Fixed Points of Increasing Functions. Theor. Comput. Sci. 222(1-2): 181-186 (1999)
	1998
7		Loïc Colson: The Logic in Computer Science Column Functions versus Algorithms. Bulletin of the EATCS 65: 98-117 (1998)
6		Loïc Colson, Daniel Fredholm: System T, Call-by-Value and the Minimum Problem. Theor. Comput. Sci. 206(1-2): 301-315 (1998)
	1996
5		Loïc Colson: A Unary Representation Result for System T. Ann. Math. Artif. Intell. 16: 385-403 (1996)
	1994
4		Loïc Colson, Thomas Ehrhard: On Strong Stability and Higher-Order Sequentiality LICS 1994: 103-108
	1992
3		Loïc Colson: On List Primitive Recursion and the Complexity of Computing inf. BIT 32(1): 5-9 (1992)
	1991
2		Loïc Colson: About Primitive Recursive Algorithms. Theor. Comput. Sci. 83(1): 57-69 (1991)
	1989
1		Loïc Colson: About Primitive Recursive Algorithms. ICALP 1989: 194-206

Coauthor Index

1	Christian Choffrut	[16]
2	Vincent Demange	[18]
3	Thomas Ehrhard	[4]
4	Daniel Fredholm	[6]
5	Serge Grigorieff	[9]
6	Natasa Jonoska (Natasha Jonoska)	[12]
7	Maurice Margenstern	[12]
8	David Michel	[14] [15] [17]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page