Constraining rule-based dynamics with types

• Autores: Vincent Danos, Russell Harmer, Glynn Winskel
• Localización: Mathematical structures in computer science, ISSN 0960-1295, Vol. 23, Nº 2, 2013, págs. 272-289
• Idioma: inglés
• DOI: 10.1017/s0960129512000114
• Texto completo no disponible (Saber más ...)