Lorenzo Malatesta

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 1

Top Topics

Deductive Reasoning

Positive And Negative

Microsoft Sql Server

Top Venues

Log. Methods Comput. Sci.

University of Strathclyde, Glasgow, UK (PHD)

Education History

University of Strathclyde, Glasgow, UK

PHD

Publications

Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg
Positive Inductive-Recursive Definitions. Log. Methods Comput. Sci. 11 (1) (2015)
Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg
Positive Inductive-Recursive Definitions. CALCO (2013)
Peter G. Hancock, Conor McBride, Neil Ghani, Lorenzo Malatesta, Thorsten Altenkirch
Small Induction Recursion. TLCA (2013)
Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, Anton Setzer
Fibred Data Types. LICS (2013)