#
Internalizing Parametricity
Doctoral thesis, 2016

Type structure

Presheaf Model

Parametricity

Lambda Calculus

Polymorphism

## Author

### Guilhem Moulin

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

### A Computational Interpretation of Parametricity

IEEE Symposium on Logic in Computer Science. 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Dubrovnik, Croatia, June 25-28, 2012,; (2012)p. 135-144

**Paper in proceeding**

### Type-Theory In Color

SIGPLAN Notices (ACM Special Interest Group on Programming Languages),; Vol. 48(2013)p. 61-71

**Journal article**

### A Presheaf Model of Parametric Type Theory

Electronic Notes in Theoretical Computer Science,; Vol. 319(2015)p. 67-82

**Journal article**

### Subject Categories

Computer Science

### ISBN

978-91-7597-384-5

Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie: 4065

EB

Opponent: Tarmo Uustalu