Towards nominal computation

Publication info
  
Publication typePublication in a book
Publication kindConference article
Publication titleTowards nominal computation
Web URL
Book titlePOPL
Volume
From page401
To page412
Number of sheets
Number of pages
Edition mark
Printed in
Publisher name
Publication year2012
Series title
Series index
Publication number
Publication languageEnglish
Ethnic language of studied culture
Rangeinternational
Report year2012

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]