Treffer: Nominal sets
Titel:
Nominal sets : names and symmetry in computer science / Andrew M. Pitts
Beteiligt:
Ausgabe:
1. publ.
Veröffentlicht:
Cambridge : Cambridge Univ. Press, 2013
Umfang:
XIII, 276 S.
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Cambridge tracts in theoretical computer science ; 57
alle Bände anzeigen
alle Bände anzeigen
RVK-Notation:
Schlagworte:
ISBN:
9781107017788 ; 1107017785