Skip to content

Agda formalisation of my M.Sc. thesis: a lambda calculus with sized types and a reflexive graph model of the same

License

Notifications You must be signed in to change notification settings

JLimperg/msc-thesis-code

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

A Reflexive Graph Model of Sized Types

This is the companion formalisation for my Master's thesis. To build it, you'll need Agda version 2.6.1 and a registered agda-stdlib version 1.3. Then proceed as follows:

git clone https://github.com/JLimperg/msc-thesis-code <dir>
cd <dir>
git submodule init
git submodule update
agda src/index.agda

The last command typechecks all modules belonging to the formalisation.

About

Agda formalisation of my M.Sc. thesis: a lambda calculus with sized types and a reflexive graph model of the same

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Contributors 3

  •  
  •  
  •