Multi-type sequent calculi
Conference Paper
(2014)
Author(s)
S Frittella (External organisation)
Giuseppe Greco (TU Delft - Ethics & Philosophy of Technology)
A Kurz (External organisation)
Alessandra Palmigiano (TU Delft - Ethics & Philosophy of Technology)
A Sikimi¿ (External organisation)
Research Group
Ethics & Philosophy of Technology
To reference this document use:
https://resolver.tudelft.nl/uuid:b2b2803b-13b0-4e0e-abab-d15eb3708bd2
More Info
expand_more
expand_more
Publication Year
2014
Research Group
Ethics & Philosophy of Technology
Pages (from-to)
81-93
No files available
Metadata only record. There are no files for this record.