Giters

ayberkt / continuity-bibliography

[WIP] An annotated bibliography on the works on continuity principles in type theories.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

[WIP] An annotated bibliography on the works on continuity principles in type theories.

License:Other

Languages

Language:TeX 87.2%Language:Makefile 12.8%