Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
Henning Basold
LIACS - Leiden University
Verified email at liacs.leidenuniv.nl
Cited by 198
Logic
Type Theory
Category Theory
Coalgebra
Induction and Coinduction
Privacy
Terms
Help
About Scholar
Search help
