> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Lecture Notes in Computer Science: Sharing in the Weak Lambda-Calculus Beteiligte: Blanc, Tomasz; Lévy, Jean-Jacques; Maranget, Luc Erschienen: Springer Berlin Heidelberg, 2005 Erschienen in: Lecture Notes in Computer Science (2005), Seite 70-87 Sprache: Ohne Angabe DOI: 10.1007/11601548_7 ISBN: 9783540309116; 9783540324256 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: