BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
∅
Talks about:
classic (2) calculus (1) sequent (1) revisit (1) dualiti (1) analysi (1) algebra (1) realiz (1) depend (1) comput (1)

Person: Étienne Miquey

DBLP DBLP: Miquey:=Eacute=tienne

Contributed to:

ESOP 20172017
CSL 20202020

Wrote 2 papers:

ESOP-2017-Miquey #calculus #dependent type
A Classical Sequent Calculus with Dependent Types (ÉM), pp. 777–803.
CSL-2020-Miquey #algebra #analysis #modelling
Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models (ÉM), p. 18.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.