APA (7th ed.) Citation

Pradic, P., & Riba, C. (2017). A Curry-Howard approach to church's synthesis. Schloss Dagstuhl.

Chicago Style (17th ed.) Citation

Pradic, P., and C. Riba. A Curry-Howard Approach to Church's Synthesis. Schloss Dagstuhl, 2017.

MLA (9th ed.) Citation

Pradic, P., and C. Riba. A Curry-Howard Approach to Church's Synthesis. Schloss Dagstuhl, 2017.

Warning: These citations may not always be 100% accurate.