Published December 13, 2019 | Version v1.0
Software Open

JLimperg/msc-thesis-code: v1.0

Creators

  • 1. Chalmers University

Description

Companion formalisation of the Master thesis A Reflexive Graph Model of Sized Types.

Files

JLimperg/msc-thesis-code-v1.0.zip

Files (70.0 kB)

Name Size Download all
md5:c2e47e86ceab97a074ecbe2d80b2f6c8
70.0 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/JLimperg/msc-thesis-code/tree/v1.0 (URL)