| Pure type systems with definitions P Severi, E Poll Logical Foundations of Computer Science: Third International Symposium, LFCS …, 1994 | 106 | 1994 |
| Perpetual Reductions in λ-Calculus F van Raamsdonk, P Severi, MHB Sørensen, H Xi Information and Computation 149 (2), 173-225, 1999 | 93 | 1999 |
| On normalisation F Van Raamsdonk, PG Severi Technische Universiteit Eindhoven, 1995 | 47 | 1995 |
| Normalisation in lambda calculus and its relation to type inference PG Severi | 36 | 1996 |
| Nominal coalgebraic data types with applications to lambda calculus A Kurz, DL Petrişan, P Severi, FJ de Vries Logical Methods in Computer Science 9, 2013 | 33 | 2013 |
| An extensional Böhm model P Severi, FJ de Vries Rewriting Techniques and Applications: 13th International Conference, RTA …, 2002 | 26 | 2002 |
| The description logic SHIQ with a flexible meta-modelling hierarchy R Motz, E Rohrer, P Severi Journal of Web Semantics 35, 214-234, 2015 | 25 | 2015 |
| Observational equivalence for multiparty sessions P Severi, M Dezani-Ciancaglini Fundamenta Informaticae 170 (1-3), 267-305, 2019 | 24 | 2019 |
| Pure type systems with corecursion on streams: from finite to infinitary normalisation PG Severi, FJJ de Vries ACM SIGPLAN Notices 47 (9), 141-152, 2012 | 22 | 2012 |
| Infinitary lambda calculus and discrimination of Berarducci trees M Dezani-Ciancaglini, P Severi, FJ de Vries Theoretical Computer Science 298 (2), 275-302, 2003 | 18 | 2003 |
| An alpha-corecursion principle for the infinitary lambda calculus A Kurz, D Petrişan, P Severi, FJ De Vries Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS …, 2012 | 16 | 2012 |
| Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation P Severi, J Fiadeiro, D Ekserdjian Journal of Web Semantics 9 (2), 83-98, 2011 | 16 | 2011 |
| Reasoning for ALCQ Extended with a Flexible Meta-Modelling Hierarchy R Motz, E Rohrer, P Severi Joint International Semantic Technology Conference, 47-62, 2014 | 15 | 2014 |
| Guiding reification in owl through aggregation P Severi, J Fiadeiro, D Ekserdjian 23rd International Workshop on Description Logics DL2010, 408, 2010 | 15 | 2010 |
| Studies of a theory of specifications with built-in program extraction P Severi, N Szasz Journal of Automated Reasoning 27 (1), 61-87, 2001 | 14 | 2001 |
| Weakening the axiom of overlap in infinitary lambda calculus P Severi, FJ de Vries 22nd International Conference on Rewriting Techniques and Applications (RTA …, 2011 | 13 | 2011 |
| Order structures on Böhm-like models P Severi, FJ de Vries International Workshop on Computer Science Logic, 103-118, 2005 | 13 | 2005 |
| Infinitary rewriting: From syntax to semantics R Kennaway, P Severi, R Sleep, FJ de Vries Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated …, 2005 | 13 | 2005 |
| On sessions and infinite data P Severi, L Padovani, E Tuosto, M Dezani-Ciancaglini Logical Methods in Computer Science 13, 2017 | 11 | 2017 |
| A light modality for recursion P Severi Logical Methods in Computer Science 15, 2019 | 9 | 2019 |
Femke van RaamsdonkVU University Amsterdam在 vu.nl 的电子邮件经过验证
