Tristan 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

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: Tristan Crolard