Towards nominal computation
Publication info
Publication type
Publication in a book
Publication kind
Conference article
Publication title
Towards nominal computation
Web URL
Book title
POPL
Volume
From page
401
To page
412
Number of sheets
Number of pages
Edition mark
Printed in
Publisher name
Publication year
2012
Series title
Series index
Publication number
Publication language
English
Ethnic language of studied culture
Range
international
Report year
2012
Authors list
1.
Mikołaj Bojańczyk
,
Studia dzienne - doktoranckie Inst. Informatyki
[
Co-author
]
2.
Laurent Braud,
External unit
[
Co-author
]
3.
Bartosz Klin
,
Zakład Logiki Stosowanej
[
Co-author
]
4.
Sławomir Lasota
,
Zakład Logiki Stosowanej
[
Co-author
]