Search results for: Michele Pagani
Fundamenta Informaticae > 2019 > Vol. 170, nr 1-3 > 241--256
Journal of Clinical Monitoring and Computing > 2017 > 31 > 5 > 1027-1033
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Lambda Calculus and Types > 358-373
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 153-168
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 393-407
Lecture Notes in Computer Science > Programming Languages and Systems > Logic and Foundation Theory > 226-242
Journal of Translational Medicine > 2015 > 13 > 1 > 1-10
Annals of Pure and Applied Logic > 2012 > 163 > 3 > 238-265
Theoretical Computer Science > 2010 > 411 > 2 > 410-444
Intensive Care Medicine > 2003 > 29 > 6 > 1016-1019