Loïc Colson
From MaRDI portal
Person:688723
Available identifiers
zbMath Open colson.loicMaRDI QIDQ688723
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Pedagogical second-order \(\lambda \)-calculus | 2009-10-09 | Paper |
Pedagogical Second-order Propositional Calculi | 2008-08-15 | Paper |
Preface | 2008-07-21 | Paper |
Another paradox in naive set-theory | 2007-04-26 | Paper |
Membrane Computing | 2005-09-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4790401 | 2003-06-02 | Paper |
Syntactical truth predicates for second order arithmetic | 2002-01-22 | Paper |
Syntactical truth predicates for formulas with atomic negation | 2002-01-01 | Paper |
On diagonal fixed points of increasing functions | 2000-01-12 | Paper |
System \(T\), call-by-value and the minimum problem | 1999-01-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4399251 | 1998-11-15 | Paper |
A unary representation result for system \(T\) | 1996-12-01 | Paper |
On list primitive recursion and the complexity of computing inf | 1993-11-28 | Paper |
About primitive recursive algorithms | 1992-06-25 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Loïc Colson