Logical Frameworks (Computer Science)
What is Following?
Following Ronald's work means that, in your Academia.edu News Feed, you will see Ronald's:
- status updates
- new papers
- new research interests
and other research updates.
Ronald de Haan
What is Following?
Following Joshua's work means that, in your Academia.edu News Feed, you will see Joshua's:
- status updates
- new papers
- new research interests
and other research updates.
Joshua Cason
What is Following?
Following Feryal Fulya's work means that, in your Academia.edu News Feed, you will see Feryal Fulya's:
- status updates
- new papers
- new research interests
and other research updates.
Feryal Fulya Horozal
What is Following?
Following Lucian's work means that, in your Academia.edu News Feed, you will see Lucian's:
- status updates
- new papers
- new research interests
and other research updates.
Lucian Bentea
What is Following?
Following Enrique's work means that, in your Academia.edu News Feed, you will see Enrique's:
- status updates
- new papers
- new research interests
and other research updates.





