Concepedia

Paula Severi

PS

10

Publications

217

Citations

10

H-Index

1996

Active since

Affiliations

University of Leicester(Current)

Universidad de la República de Uruguay

University of Turin

Paula Severi is an author at University of Leicester specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationArtsLanguageSemanticsStatisticsLinguistics

Publications per year

1996–2019

10

Publications

10

Perpetual Reductions inλ-Calculus

Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen et al. · Information and Computation · 1999 · 57 citations · Full text

Perpetual Reductions Inλ-calculus, Algebraic Analysis, Lambda Calculus +2

Normalisation in lambda calculus and its relation to type inference

Paula Severi · Data Archiving and Networked Services (DANS) · 1996 · 52 citations · Full text

Nominal Coalgebraic Data Types with Applications to Lambda Calculus

Alexander Kurz, Daniela Petrişan, Paula Severi et al. · Logical Methods in Computer Science · 2013 · 21 citations · Full text

Algebraic Logic, Domain Theory, Infinitary Lambda Calculus +7

Observational Equivalence for Multiparty Sessions

Paula Severi, Mariangiola Dezani-Ciancaglini · Fundamenta Informaticae · 2019 · 16 citations

Engineering, Concurrent System, Communication +18

Type Inference for Pure Type Systems

Paula Severi · Information and Computation · 1998 · 15 citations

Engineering, Automated Reasoning, Type Theory +6

Rows per page

1–5 of 10