TheoWinterhalter/phd-thesis TheoWinterhalter/phd-thesis

  • Stars
    star
    31
  • Rank 820,005 (Top 17 %)
  • Language
    TeX
  • Created almost 5 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TheoWinterhalter/phd-thesis
github

TheoWinterhalter

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.

More Repositories

1

formal-type-theory

Formalising Type Theory in a modular way for translations between type theories
Coq
90
star
2

sirtt

Shape-Irrelevant Reflection Type Theory
Coq
6
star
3

coq-partialfun

Dependent composable partial functions for free in Coq
Coq
6
star
4

ett-to-itt

Coq formalisation and plugin of a translation from ETT to ITT
Coq
5
star
5

ett-to-wtt

Coq formalisation of a translation from (an) extensional type theory to (a) weak type theory
Coq
5
star
6

resizing-reflection

Master Thesis with Nicolas Tabareau on Resizing Rules and Reflection
Coq
1
star