Publikationsansicht

A (2009)

Abstract

congruence format for name-passing calculi

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.1722
Quelle	http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/sos05final.pdf
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.4.8186, 10.1.1.11.523, 10.1.1.62.9845, 10.1.1.48.3617, 10.1.1.36.6601, 10.1.1.39.8076, 10.1.1.49.6846, 10.1.1.103.492, 10.1.1.1.2796, 10.1.1.108.6567, 10.1.1.94.9463