Besonderhede van voorbeeld: 5743871280215824834

English

In particular, the work of various authors, starting with de Paiva and Hyland [3], have allowed to look at the semantics of linear logic, both classical and intuitionists, from a categorical point of view.

Spanish

En particular, los trabajos de distintos autores empezando por de Paiva y Hyland [3] han permitido abordar desde el enfoque categórico la semántica de la lógica lineal, tanto clásica como intuicionista.