Auteur

Dale Miller

Œuvres

( 4 )

Documents

Etudes supérieures

Towards a broad spectrum proof certificate

Dale Miller

Documents

Etudes supérieures

Reasoning about Computations Using Two Levels of Logic

Dale Miller

Documents

Etudes supérieures

A Proof Theory for Generic Judgments: An extended abstract

Dale Miller

Documents

Rapports de stage

A Proof Theoretic Approach to Operational Semantics

Dale Miller

Ajouté à mes notifications

Vous serez informé des prochaines publications.