When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
ISBN-13: 9783662496299, 978-3662496299. International Conference on Foundations of Software Science and Computation. Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in. proof theory and lambda calculus; algorithms for infinite systems; and monads.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.