Name		Name	Last commit message	Last commit date
Latest commit History 266 Commits
Higher category models of the pi-calculus hctm		Higher category models of the pi-calculus hctm
Higher category models of the pi-calculus typcl		Higher category models of the pi-calculus typcl
Name-free combinators for concurrency rhocomb		Name-free combinators for concurrency rhocomb
Policy as Types beat2014		Policy as Types beat2014
Policy as Types post		Policy as Types post
Policy as Types wpes		Policy as Types wpes
Representing operational semantics with enriched Lawvere theories calco2017		Representing operational semantics with enriched Lawvere theories calco2017
ai		ai
cg		cg
common		common
ladl lics		ladl lics
ladl memo2017		ladl memo2017
ladl modal lics		ladl modal lics
ladl typical		ladl typical
ladl		ladl
ladlprooftheory		ladlprooftheory
ltcctbc		ltcctbc
metta-calculus		metta-calculus
oslf		oslf
qm2pi		qm2pi
rho20		rho20
rhocube		rhocube
rset		rset
space-calc		space-calc
togl		togl
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Repository files navigation

rho4u

New papers about the rho-calculus