You may also like
Evidential transactions (ETs) provide auditable and composable evidence that serves as a witness or a proof that a transaction has been correctly […]
We discuss the problem of cut elimination in an intuitionistic version of Church’s Type Theory with constraints, a problem that arises in […]
Forum Slides Attachments TEASE-LP_Sattler (7 MB)
We present a binding-time analysis algorithm for miniKanren. It is capable to determine the order in which names within a program are […]