Sfoglia per Autore
Dependency and Valency: From Structural Syntax to Constructive Adpositional Grammars
2013-01-01 Gobbo, Federico; Benini, Marco
From Ancient to Modern Computing: A History of Information Hiding
2013-01-01 Gobbo, Federico; Benini, Marco
The Minimal Levels of Abstraction in the History of Modern Computing
2013-01-01 Gobbo, F.; Benini, Marco
Correctness by Construction (CORCON)
2014-01-01 Benini, Marco
Abstract Mathematics for Actual Computation: Hilbert's Program in the 21st Century
2014-01-01 Benini, Marco
Algorithms and their explanations
2014-01-01 Benini, Marco; Gobbo, Federico
Why zombies can’t write signicant source code: The Knowledge Game and the Art of Computer Programming
2015-01-01 Gobbo, F.; Benini, Marco
prftree.sty
2016-01-01 Benini, Marco
Proof-Oriented Categorical Semantics
2016-01-01 Benini, Marco
What Can We Know of Computational Information? Measuring, Quantity, and Quality at Work in Programmable Artifacts
2016-01-01 Gobbo, Federico; Benini, Marco
Well quasi orders in a categorical setting
2019-01-01 Benini, Marco; Bonacina, Roberta
A general syntax for nonrecursive Higher Inductive Types
2020-01-01 Girardi, Marco; Zunino, Roberto; Benini, Marco
A proof-theoretical semantics for homotopy type theory
2020-01-01 Benini, Marco; Bonacina, Roberta
Induction and Free Structures
2020-01-01 Benini, Marco
Natural Numbers in Homotopy Type Theory
2020-01-01 Benini, Marco; Bonacina, Roberta
A general syntax for nonrecursive higher inductive types
2020-01-01 Girardi, M.; Zunino, R.; Benini, M.
Annotation with adpositional argumentation
2020-01-01 Gobbo, Federico; Benini, Marco; Wagemans, Jean H. M.
Complex Arguments in Adpositional Argumentation
2021-01-01 Gobbo, F.; Benini, M.; Wagemans, J. H. M.
An Ad-Hoc Semantics to Study Structural Properties of Types
2021-01-01 Benini, Marco; Bonacina, Roberta
Adpositional argumentation: how logic originates in natural argumentative discourse
2022-01-01 Gobbo, Federico; Benini, Marco; Wagemans, Jean H. M.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile