Multi-type sequent calculi

Conference paper (2014)

Authors

S Frittella External organisation
G. Greco Ethics & Philosophy of Technology - TPM
A Kurz External organisation
A. Palmigiano Ethics & Philosophy of Technology - TPM
A Sikimi¿ External organisation
Research Group
Ethics & Philosophy of Technology (TPM) (TU Delft)
More Info
expand_more

Published Date

2014

Language

Undefined/Unknown

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Faculty

Technology, Policy and Management

Department

Values Technology and Innovation

Research Group

Ethics & Philosophy of Technology