If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Alessio Santamaria is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Compositionality Mathematics
Lambda Calculus Mathematics
Computer Science Mathematics
Horizontal Mathematics
Logic Mathematics
Closed Mathematics
Sufficient Conditions Mathematics
Evaluation Mathematics

Research Output 2018 2018

  • 1 Conference contribution

On Compositionality of Dinatural Transformations

McCusker, G. & Santamaria, A., 31 Dec 2018, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Ghica, D. & Jung, A. (eds.). Dagstuhl, Germany: Leibniz International Proceedings in Informatics, Vol. 119. p. 33:1-33:22 22 p. 33. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 119).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Lambda Calculus
Computer Science


Towards a Godement Calculus for Dinatural Transformations

Author: Santamaria, A., 4 Sep 2019

Supervisor: McCusker, G. (Supervisor) & Guglielmi, A. (Supervisor)

Student thesis: Doctoral ThesisPhD