Research Output per year

## 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 proceeding › Conference contribution

Open Access

Compositionality

Lambda Calculus

Computer Science

Horizontal

Logic