Filters








1 Hit in 0.055 sec

Imperative Programming in Sets with Atoms

Mikolaj Bojanczyk, Szymon Torunczyk, Marc Herbstritt
2012 Foundations of Software Technology and Theoretical Computer Science  
doi:10.4230/lipics.fsttcs.2012.4 dblp:conf/fsttcs/BojanczykT12 fatcat:oxs7d3qjyvfjzn4udkn7tsl5iq