Loïc Colson
From MaRDI portal
Person:688723
Available identifiers
zbMath Open colson.loicMaRDI QIDQ688723
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 | 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
This page was built for person: Loïc Colson