We have collected the most relevant information on Claudio Sacerdoti Coen. Open the URLs, which are collected below, and you will find all the info you are interested in.
Claudio Sacerdoti Coen — University of Bologna — Home …
https://www.unibo.it/sitoweb/claudio.sacerdoticoen/en
Claudio Sacerdoti Coen. Associate Professor. Department of Computer Science and Engineering. Academic discipline: INF/01 Informatics Director of First Cycle Degree in Computer Science. Contacts. E-mail: [email protected] Tel: +39 051 20 9 4973 Fax: +39 051 20 9 4510.
Claudio Sacerdoti Coen's home page - Plone site
http://www.cs.unibo.it/~sacerdot/
Software. Code (in C#) for the paper "Sharing Equivalence is Linear".. Author: Emanuele Sinagra under the supervision of Claudio Sacerdoti Coen. The code implements: An algorithm to enumerate all term forests, i.e. DAGs representing sets of λ-terms via sharing, up to a certain size.; An algorithm to randomly generate a term forests.
Claudio SACERDOTI COEN | University of Bologna, …
https://www.researchgate.net/profile/Claudio-Sacerdoti-Coen
Claudio Sacerdoti Coen Davide Sangiorgi The λµµ-calculus is a variant of the λ-calculus with significant differences, including non-confluence and a …
Claudio Sacerdoti Coen - Google Scholar
https://scholar.google.com/citations?user=PN7QKhQAAAAJ
Claudio Sacerdoti Coen. University of Bologna. Verified email at unibo.it - Homepage. Interactive Theorem Proving Mathematical Knowledge Management. Articles Cited by Public access Co-authors. Title. Sort. Sort by citations Sort by year Sort by title.
Claudio Sacerdoti Coen | DeepAI
https://deepai.org/profile/claudio-sacerdoti-coen
01/08/2021 ∙ by Claudio Sacerdoti Coen, et al. ∙ 0 ∙ share read it Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)
Claudio Sacerdoti Coen — University of Bologna — …
https://www.unibo.it/sitoweb/claudio.sacerdoticoen/publications
Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele, On the Prediction of Smart Contracts’ Behaviours, in: From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Springer Verlag, 2019, 11865, pp. 397 - 415 (atti di: Collquium in honour of Stefania Gnesi ...
Claudio Sacerdoti Coen | Università di Bologna - Academia.edu
https://unibo.academia.edu/ClaudioSacerdotiCoen
by Claudio Sacerdoti Coen We introduce the notion of nonuniform coercion, which is the promotion of a value of one type to an enriched value of a different type via a nonuniform procedure. Nonuniform coercions are a generalization of the (uniform) coercions known...
Claudio Sacerdoti Coen - Home
https://dl.acm.org/profile/81100002218
Claudio Sacerdoti Coen. Search for Claudio Sacerdoti Coen's work. Search Search. Home Claudio Sacerdoti Coen. Claudio Sacerdoti Coen. Skip slideshow. Most frequent co-Author ...
sacerdot (Claudio Sacerdoti Coen) · GitHub
https://github.com/sacerdot
sacerdot has 9 repositories available. Follow their code on GitHub.
Claudio Sacerdoti Coen Profiles | Facebook
https://www.facebook.com/public/Claudio-Sacerdoti-Coen
View the profiles of people named Claudio Sacerdoti Coen. Join Facebook to connect with Claudio Sacerdoti Coen and others you may know. Facebook gives...
Now you know Claudio Sacerdoti Coen
Now that you know Claudio Sacerdoti Coen, we suggest that you familiarize yourself with information on similar questions.
