Loïc Colson

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Pedagogical second-order \(\lambda \)-calculus Theoretical Computer Science	2009-10-09	Paper
Pedagogical Second-order Propositional Calculi Journal Of Logic And Computation	2008-08-15	Paper
Preface RAIRO - Theoretical Informatics and Applications	2008-07-21	Paper
Another paradox in naive set-theory Studia Logica	2007-04-26	Paper
Membrane Computing Lecture Notes in Computer Science	2005-09-14	Paper
scientific article; zbMATH DE number 1860673 (Why is no real title available?)	2003-06-02	Paper
Syntactical truth predicates for second order arithmetic The Journal of Symbolic Logic	2002-01-22	Paper
Syntactical truth predicates for formulas with atomic negation Mathematical Structures in Computer Science	2002-01-01	Paper
On diagonal fixed points of increasing functions Theoretical Computer Science	2000-01-12	Paper
System \(T\), call-by-value and the minimum problem Theoretical Computer Science	1999-01-12	Paper
scientific article; zbMATH DE number 1179976 (Why is no real title available?)	1998-11-15	Paper
A unary representation result for system \(T\) Annals of Mathematics and Artificial Intelligence	1996-12-01	Paper
On list primitive recursion and the complexity of computing inf BIT	1993-11-28	Paper
About primitive recursive algorithms Theoretical Computer Science	1992-06-25	Paper

Research outcomes over time

This page was built for person: Loïc Colson