Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Henrio, Ludovic, Kammueller, Florian ORCID logoORCID:, Lutz, Bianca and Sudhof, Henry (2010) A locally nameless theory of objects. In: SAFA Annual Workshop on Formal Techniques (SAFA’2010), October 6th and 7th, 2010, 2229 Route des Crêtes, 06560, Valbonne, Provence-Alpes-Côte d'Azur, France. . [Conference or Workshop Item]

This list was generated on Sun Nov 27 05:03:06 2022 GMT.