Étienne Miquey

From MaRDI portal
Person:1652989

Available identifiers

zbMath Open miquey.etienneMaRDI QIDQ1652989

List of research outcomes





PublicationDate of PublicationType
Concurrent realizability on conjunctive structures2024-10-21Paper
Stateful Realizers for Nonstandard Analysis2023-08-26Paper
https://portal.mardi4nfdi.de/entity/Q58742172023-02-07Paper
A calculus of expandable stores2021-01-21Paper
A sequent calculus with dependent types for classical arithmetic2021-01-20Paper
Formalizing implicative algebras in Coq2018-10-04Paper
Realizability interpretation and normalization of typed call-by-need \(\lambda\)-calculus with control2018-07-17Paper
Classical realizability and arithmetical formulæ2017-09-28Paper
A Classical Sequent Calculus with Dependent Types2017-05-19Paper

Research outcomes over time

This page was built for person: Étienne Miquey

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1652989&oldid=6365581"
Powered by MediaWiki