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
• Texto completo no disponible (Saber más ...)