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

Research Output 2000 2018

Filter
Doctoral Thesis
2013
6 Downloads (Pure)
Open Access
File
Logic
Interaction
Calculi
Sequent Calculus
Syntax