Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Paula Severi
@article{DBLP:journals/fuin/SeveriD19, author = {Paula Severi and Mariangiola Dezani{-}Ciancaglini}, title = {Observational Equivalence for Multiparty Sessions}, journal = {Fundam. Informaticae}, volume = {170}, number = {1-3}, pages = {267--305}, year = {2019}, url = {https://doi.org/10.3233/FI-2019-1863}, doi = {10.3233/FI-2019-1863}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/SeveriD19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/Severi19, author = {Paula Severi}, title = {A Light Modality for Recursion}, journal = {Log. Methods Comput. Sci.}, volume = {15}, number = {1}, year = {2019}, url = {https://doi.org/10.23638/LMCS-15(1:8)2019}, doi = {10.23638/LMCS-15(1:8)2019}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/Severi19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kgswc/SeveriRM19, author = {Paula Severi and Edelweis Rohrer and Regina Motz}, editor = {Boris Villaz{\'{o}}n{-}Terrazas and Yusniel Hidalgo{-}Delgado}, title = {A Description Logic for Unifying Different Points of View}, booktitle = {Knowledge Graphs and Semantic Web - First Iberoamerican Conference, {KGSWC} 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings}, series = {Communications in Computer and Information Science}, volume = {1029}, pages = {17--32}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-21395-4\_2}, doi = {10.1007/978-3-030-21395-4\_2}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kgswc/SeveriRM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kgswc/RohrerSM19, author = {Edelweis Rohrer and Paula Severi and Regina Motz}, editor = {Boris Villaz{\'{o}}n{-}Terrazas and Yusniel Hidalgo{-}Delgado}, title = {Meta-Modelling Ontology Design Pattern}, booktitle = {Knowledge Graphs and Semantic Web - First Iberoamerican Conference, {KGSWC} 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings}, series = {Communications in Computer and Information Science}, volume = {1029}, pages = {102--117}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-21395-4\_8}, doi = {10.1007/978-3-030-21395-4\_8}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kgswc/RohrerSM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ontobras/RohrerSM18, author = {Edelweis Rohrer and Paula Severi and Regina Motz}, editor = {Joel Luis Carbonera and Giancarlo Guizzardi}, title = {Applying Meta-Modellig to an Accounting Application}, booktitle = {Proceedings of the {XI} Seminar on Ontology Research in Brazil and {II} Doctoral and Masters Consortium on Ontologies, S{\~{a}}o Paulo, Brazil, October 1st-3rd, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2228}, pages = {92--103}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2228/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:15 +0100}, biburl = {https://dblp.org/rec/conf/ontobras/RohrerSM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1801-00285, author = {Paula Severi}, title = {Two Light Modalities for Recursion}, journal = {CoRR}, volume = {abs/1801.00285}, year = {2018}, url = {http://arxiv.org/abs/1801.00285}, eprinttype = {arXiv}, eprint = {1801.00285}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1801-00285.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/SeveriPTD17, author = {Paula Severi and Luca Padovani and Emilio Tuosto and Mariangiola Dezani{-}Ciancaglini}, title = {On Sessions and Infinite Data}, journal = {Log. Methods Comput. Sci.}, volume = {13}, number = {2}, year = {2017}, url = {https://doi.org/10.23638/LMCS-13(2:9)2017}, doi = {10.23638/LMCS-13(2:9)2017}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/SeveriPTD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/SeveriV17, author = {Paula Severi and Fer{-}Jan de Vries}, title = {The infinitary lambda calculus of the infinite eta B{\"{o}}hm trees}, journal = {Math. Struct. Comput. Sci.}, volume = {27}, number = {5}, pages = {681--733}, year = {2017}, url = {https://doi.org/10.1017/S096012951500033X}, doi = {10.1017/S096012951500033X}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/SeveriV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/MotzRS17, author = {Regina Motz and Edelweis Rohrer and Paula Severi}, editor = {Juan L. Reutter and Divesh Srivastava}, title = {Applying Description Logics Extended with Meta-modelling to {SNOMED-CT}}, booktitle = {Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1912}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1912/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:19 +0100}, biburl = {https://dblp.org/rec/conf/amw/MotzRS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Severi17, author = {Paula Severi}, editor = {Javier Esparza and Andrzej S. Murawski}, title = {A Light Modality for Recursion}, booktitle = {Foundations of Software Science and Computation Structures - 20th International Conference, {FOSSACS} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10203}, pages = {499--516}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-54458-7\_29}, doi = {10.1007/978-3-662-54458-7\_29}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Severi17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/SeveriPTD16, author = {Paula Severi and Luca Padovani and Emilio Tuosto and Mariangiola Dezani{-}Ciancaglini}, editor = {Alberto Lluch{-}Lafuente and Jos{\'{e}} Proen{\c{c}}a}, title = {On Sessions and Infinite Data}, booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9686}, pages = {245--261}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39519-7\_15}, doi = {10.1007/978-3-319-39519-7\_15}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/SeveriPTD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/MartinezRS16, author = {Monica Martinez and Edelweis Rohrer and Paula Severi}, editor = {Chitta Baral and James P. Delgrande and Frank Wolter}, title = {Complexity of the Description Logic {ALCM}}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29, 2016}, pages = {585--588}, publisher = {{AAAI} Press}, year = {2016}, url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12853}, timestamp = {Tue, 09 Feb 2021 08:33:50 +0100}, biburl = {https://dblp.org/rec/conf/kr/MartinezRS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/SeveriPTD16, author = {Paula Severi and Luca Padovani and Emilio Tuosto and Mariangiola Dezani{-}Ciancaglini}, title = {On Sessions and Infinite Data}, journal = {CoRR}, volume = {abs/1610.06362}, year = {2016}, url = {http://arxiv.org/abs/1610.06362}, eprinttype = {arXiv}, eprint = {1610.06362}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/SeveriPTD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ws/MotzRS15, author = {Regina Motz and Edelweis Rohrer and Paula Severi}, title = {The description logic {SHIQ} with a flexible meta-modelling hierarchy}, journal = {J. Web Semant.}, volume = {35}, pages = {214--234}, year = {2015}, url = {https://doi.org/10.1016/j.websem.2015.05.002}, doi = {10.1016/J.WEBSEM.2015.05.002}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ws/MotzRS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/KurzPPSV15, author = {Alexander Kurz and Alberto Pardo and Daniela Petrisan and Paula Severi and Fer{-}Jan de Vries}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Approximation of Nested Fixpoints - {A} Coalgebraic View of Parametric Dataypes}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {205--220}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.205}, doi = {10.4230/LIPICS.CALCO.2015.205}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/calco/KurzPPSV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MartinezRS15, author = {Monica Martinez and Edelweis Rohrer and Paula Severi}, title = {Complexity of the Description Logic {ALCM}}, journal = {CoRR}, volume = {abs/1511.03749}, year = {2015}, url = {http://arxiv.org/abs/1511.03749}, eprinttype = {arXiv}, eprint = {1511.03749}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MartinezRS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fois/RohrerSMD14, author = {Edelweis Rohrer and Paula Severi and Regina Motz and Alicia D{\'{\i}}az}, editor = {Kenneth Baclawski and Tudor Groza and Torsten Hahmann and Ivan Jos{\'{e}} Varzinczak}, title = {Metamodelling in a Ontology Network}, booktitle = {Proceedings of the 8th International Workshop on Modular Ontologies co-located with the 8th International Conference on Formal Ontology in Information Systems {(FOIS} 2014), Rio de Janeiro, Brazil, September 22, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1248}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1248/WoMO14-Paper8.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:26 +0100}, biburl = {https://dblp.org/rec/conf/fois/RohrerSMD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jist/MotzRS14, author = {Regina Motz and Edelweis Rohrer and Paula Severi}, editor = {Thepchai Supnithi and Takahira Yamaguchi and Jeff Z. Pan and Vilas Wuwongse and Marut Buranarach}, title = {Reasoning for \emph{ALCQ} Extended with a Flexible Meta-Modelling Hierarchy}, booktitle = {Semantic Technology - 4th Joint International Conference, {JIST} 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8943}, pages = {47--62}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-15615-6\_4}, doi = {10.1007/978-3-319-15615-6\_4}, timestamp = {Sat, 09 Apr 2022 12:47:00 +0200}, biburl = {https://dblp.org/rec/conf/jist/MotzRS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MotzRS14, author = {Regina Motz and Edelweis Rohrer and Paula Severi}, title = {Reasoning for {ALCQ} extended with a flexible meta-modelling hierarchy}, journal = {CoRR}, volume = {abs/1410.7953}, year = {2014}, url = {http://arxiv.org/abs/1410.7953}, eprinttype = {arXiv}, eprint = {1410.7953}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MotzRS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/KurzPSV13, author = {Alexander Kurz and Daniela Petrisan and Paula Severi and Fer{-}Jan de Vries}, title = {Nominal Coalgebraic Data Types with Applications to Lambda Calculus}, journal = {Log. Methods Comput. Sci.}, volume = {9}, number = {4}, year = {2013}, url = {https://doi.org/10.2168/LMCS-9(4:20)2013}, doi = {10.2168/LMCS-9(4:20)2013}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/KurzPSV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tlca/SeveriV13, author = {Paula Severi and Fer{-}Jan de Vries}, editor = {Masahito Hasegawa}, title = {Completeness of Conversion between Reactive Programs for Ultrametric Models}, booktitle = {Typed Lambda Calculi and Applications, 11th International Conference, {TLCA} 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7941}, pages = {221--235}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38946-7\_17}, doi = {10.1007/978-3-642-38946-7\_17}, timestamp = {Sun, 02 Oct 2022 16:16:31 +0200}, biburl = {https://dblp.org/rec/conf/tlca/SeveriV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cmcs/KurzPSV12, author = {Alexander Kurz and Daniela Petrisan and Paula Severi and Fer{-}Jan de Vries}, editor = {Dirk Pattinson and Lutz Schr{\"{o}}der}, title = {An Alpha-Corecursion Principle for the Infinitary Lambda Calculus}, booktitle = {Coalgebraic Methods in Computer Science - 11th International Workshop, {CMCS} 2012, Colocated with {ETAPS} 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7399}, pages = {130--149}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32784-1\_8}, doi = {10.1007/978-3-642-32784-1\_8}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cmcs/KurzPSV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/SeveriV12, author = {Paula Severi and Fer{-}Jan de Vries}, editor = {Peter Thiemann and Robby Bruce Findler}, title = {Pure type systems with corecursion on streams: from finite to infinitary normalisation}, booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012}, pages = {141--152}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2364527.2364550}, doi = {10.1145/2364527.2364550}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/icfp/SeveriV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/SeveriV12, author = {Paula Severi and Fer{-}Jan de Vries}, editor = {Ashish Tiwari}, title = {Meaningless Sets in Infinitary Combinatory Logic}, booktitle = {23rd International Conference on Rewriting Techniques and Applications (RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan}, series = {LIPIcs}, volume = {15}, pages = {288--304}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2012}, url = {https://doi.org/10.4230/LIPIcs.RTA.2012.288}, doi = {10.4230/LIPICS.RTA.2012.288}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/rta/SeveriV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ws/SeveriFE11, author = {Paula Severi and Jos{\'{e}} Luiz Fiadeiro and David Ekserdjian}, title = {Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation}, journal = {J. Web Semant.}, volume = {9}, number = {2}, pages = {83--98}, year = {2011}, url = {https://doi.org/10.1016/j.websem.2011.04.003}, doi = {10.1016/J.WEBSEM.2011.04.003}, timestamp = {Tue, 29 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ws/SeveriFE11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/SeveriV11, author = {Paula Severi and Fer{-}Jan de Vries}, editor = {Manfred Schmidt{-}Schau{\ss}}, title = {Weakening the Axiom of Overlap in Infinitary Lambda Calculus}, booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia}, series = {LIPIcs}, volume = {10}, pages = {313--328}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2011}, url = {https://doi.org/10.4230/LIPIcs.RTA.2011.313}, doi = {10.4230/LIPICS.RTA.2011.313}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/rta/SeveriV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/SeveriV11, author = {Paula Severi and Fer{-}Jan de Vries}, editor = {Lev D. Beklemishev and Ruy J. G. B. de Queiroz}, title = {Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus}, booktitle = {Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6642}, pages = {210--227}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20920-8\_22}, doi = {10.1007/978-3-642-20920-8\_22}, timestamp = {Tue, 01 Jun 2021 15:22:31 +0200}, biburl = {https://dblp.org/rec/conf/wollic/SeveriV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/SeveriFE10, author = {Paula Severi and Jos{\'{e}} Luiz Fiadeiro and David Ekserdjian}, editor = {Volker Haarslev and David Toman and Grant E. Weddell}, title = {Guiding Reification in {OWL} through Aggregation}, booktitle = {Proceedings of the 23rd International Workshop on Description Logics {(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {573}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-573/paper\_19.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/SeveriFE10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/AlessiS08, author = {Fabio Alessi and Paula Severi}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Recursive Domain Equations of Filter Models}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {124--135}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_11}, doi = {10.1007/978-3-540-77566-9\_11}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/AlessiS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/KennawaySSV05, author = {Richard Kennaway and Paula Severi and M. Ronan Sleep and Fer{-}Jan de Vries}, editor = {Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer}, title = {Infinitary Rewriting: From Syntax to Semantics}, booktitle = {Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {3838}, pages = {148--172}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11601548\_11}, doi = {10.1007/11601548\_11}, timestamp = {Mon, 16 Sep 2019 15:30:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/KennawaySSV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/SeveriV05, author = {Paula Severi and Fer{-}Jan de Vries}, editor = {C.{-}H. Luke Ong}, title = {Order Structures on B{\"{o}}hm-Like Models}, booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3634}, pages = {103--118}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11538363\_9}, doi = {10.1007/11538363\_9}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/SeveriV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tlca/SeveriV05, author = {Paula Severi and Fer{-}Jan de Vries}, editor = {Pawel Urzyczyn}, title = {Continuity and Discontinuity in Lambda Calculus}, booktitle = {Typed Lambda Calculi and Applications, 7th International Conference, {TLCA} 2005, Nara, Japan, April 21-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3461}, pages = {369--385}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11417170\_27}, doi = {10.1007/11417170\_27}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/tlca/SeveriV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cleiej/FernandezMSS03, author = {Maribel Fern{\'{a}}ndez and Ian Mackie and Paula Severi and Nora Szasz}, title = {Reduction Strategies for Program Extraction}, journal = {{CLEI} Electron. J.}, volume = {6}, number = {1}, year = {2003}, url = {https://doi.org/10.19153/cleiej.6.1.2}, doi = {10.19153/CLEIEJ.6.1.2}, timestamp = {Tue, 21 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cleiej/FernandezMSS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Dezani-CiancagliniSV03, author = {Mariangiola Dezani{-}Ciancaglini and Paula Severi and Fer{-}Jan de Vries}, title = {Infinitary lambda calculus and discrimination of Berarducci trees}, journal = {Theor. Comput. Sci.}, volume = {298}, number = {2}, pages = {275--302}, year = {2003}, url = {https://doi.org/10.1016/S0304-3975(02)00809-5}, doi = {10.1016/S0304-3975(02)00809-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Dezani-CiancagliniSV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/FernandezS02, author = {Maribel Fern{\'{a}}ndez and Paula Severi}, editor = {Michael Leuschel}, title = {An Operational Approach to Program Extraction in the Calculus of Constructions}, booktitle = {Logic Based Program Synthesis and Tranformation, 12th International Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2664}, pages = {111--125}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45013-0\_10}, doi = {10.1007/3-540-45013-0\_10}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/FernandezS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/SeveriV02, author = {Paula Severi and Fer{-}Jan de Vries}, editor = {Sophie Tison}, title = {An Extensional B{\"{o}}hm Model}, booktitle = {Rewriting Techniques and Applications, 13th International Conference, {RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2378}, pages = {159--173}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45610-4\_12}, doi = {10.1007/3-540-45610-4\_12}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/SeveriV02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/RaamsdonkS02, author = {Femke van Raamsdonk and Paula Severi}, editor = {Frank Pfenning}, title = {Eliminating Proofs from Programs}, booktitle = {International Workshop on Logical Frameworks and Meta-Languages, {LFM} 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {70}, number = {2}, pages = {42--59}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80505-X}, doi = {10.1016/S1571-0661(04)80505-X}, timestamp = {Tue, 06 Dec 2022 14:32:51 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RaamsdonkS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/SeveriS01, author = {Paula Severi and Nora Szasz}, title = {Studies of a Theory of Specifications with Built-in Program Extraction}, journal = {J. Autom. Reason.}, volume = {27}, number = {1}, pages = {61--87}, year = {2001}, url = {https://doi.org/10.1023/A:1010663224299}, doi = {10.1023/A:1010663224299}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/SeveriS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/tcs/Dezani-CiancagliniSV00, author = {Mariangiola Dezani{-}Ciancaglini and Paula Severi and Fer{-}Jan de Vries}, editor = {David A. Wolfram}, title = {B{\"{o}}hm's theorem for Berarducci trees}, booktitle = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra, Australia, January 1-2, 2000}, series = {Electronic Notes in Theoretical Computer Science}, volume = {31}, pages = {34--57}, publisher = {Elsevier}, year = {2000}, url = {https://doi.org/10.1016/S1571-0661(05)80329-9}, doi = {10.1016/S1571-0661(05)80329-9}, timestamp = {Fri, 11 Nov 2022 16:02:13 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Dezani-CiancagliniSV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/RaamsdonkSSX99, author = {Femke van Raamsdonk and Paula Severi and Morten Heine S{\o}rensen and Hongwei Xi}, title = {Perpetual Reductions in Lambda-Calculus}, journal = {Inf. Comput.}, volume = {149}, number = {2}, pages = {173--225}, year = {1999}, url = {https://doi.org/10.1006/inco.1998.2750}, doi = {10.1006/INCO.1998.2750}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/RaamsdonkSSX99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Severi98, author = {Paula Severi}, title = {Type Inference for Pure Type Systems}, journal = {Inf. Comput.}, volume = {143}, number = {1}, pages = {1--23}, year = {1998}, url = {https://doi.org/10.1006/inco.1998.2708}, doi = {10.1006/INCO.1998.2708}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Severi98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfcs/SeveriP94, author = {Paula Severi and Erik Poll}, editor = {Anil Nerode and Yuri V. Matiyasevich}, title = {Pure Type Systems with Definitions}, booktitle = {Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {813}, pages = {316--328}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58140-5\_30}, doi = {10.1007/3-540-58140-5\_30}, timestamp = {Fri, 17 Jul 2020 16:12:46 +0200}, biburl = {https://dblp.org/rec/conf/lfcs/SeveriP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.