T. Crolard

Available identifiers

zbMath Open crolard.tristanMaRDI QIDQ197378

List of research outcomes

Publication	Date of Publication	Type
Extending the loop language with higher-order procedural variables	2015-09-17	Paper
Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control	2012-08-14	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q3431405	2007-04-10	Paper
A Formulae-as-Types Interpretation of Subtractive Logic	2004-10-28	Paper
Subtractive logic	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4499147	2001-03-06	Paper
A confluent λ-calculus with a catch/throw mechanism	2001-02-05	Paper

Research outcomes over time

This page was built for person: T. Crolard