Giters

leithaus / rho4u

New papers about the rho-calculus

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

rho4u

New papers about the rho-calculus

About

New papers about the rho-calculus

License:Creative Commons Zero v1.0 Universal

Languages

Language:TeX 98.9%Language:OCaml 1.1%Language:Makefile 0.0%Language:D 0.0%