Knowledge Tree

researcher / Dale Miller

Dale Miller

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Dissecting call-by-need by customizing multi type systems

Applications of Foundational Proof Certificates in theorem proving

Certification de preuves en logiques classique et intuitionniste du premier ordre

Safe Programming in Finite Precision: Controlling Errors and Information Leaks

Symmetric dialogue games in the proof theroy of linear logic

Exploiting non-canonicity in the sequent calculus