Browse by Journal
 | See full list of headings |
Jump to: H
Number of items: 1.
H
Henrio, Ludovic, Kammueller, Florian 
ORCID: https://orcid.org/0000-0001-5839-5488, 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]
