385 search results - page 11 / 77 » Extensionality in the Calculus of Constructions |
ITP
2010
13 years 11 months ago
2010
PPDP
2000
Springer
13 years 11 months ago
2000
Springer
IWFM
2000
13 years 8 months ago
2000
RTA
2001
Springer
13 years 12 months ago
2001
Springer
In this paper we give a simple and uniform presentation of the rewriting calculus, also called Rho Calculus. In addition to its simplicity, this formulation explicitly allows us to...
APLAS
2003
ACM
14 years 20 days ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...