-
Andrea Asperti,
Wilmer Ricciotti, C
Sacerdoti Coen,
Enrico T****i. "A new type for tactics":
Technical Report UBLCS-2009-14. June 2009.
Andrea Asperti, Wilmer...
- code, an
enormous number that
spans almost 2 full
pages of 1's and 0's.
Asperti and
Ricciotti described a multi-tape UTM
defined by
composing elementary...
- (PDF), Wiley, ISBN 0-471-60922-6 (now free on-line edition, GNU FDL).
Asperti, Andrea; Longo,
Giuseppe (1991), Categories,
Types and Structures, MIT...
- l'estenda.
Asperti, 52,
rejects this reading,
partly based on the
reference to
Pedro Ruiz.
Asperti, 51.
Asperti, 53–54.
Asperti, 56–57.
Asperti, 50 n4. Menéndez...
-
Properties and Applications".
Nordic Journal of Computing. 10 (2): 134–162.
Asperti, Andrea; Guerrini,
Stefano (1998). The
Optimal Implementation of Functional...
-
Theoretical Computer Science. 338: 23–43. doi:10.1016/j.entcs.2018.10.003.
Asperti,
Andrea (16 Jan 2017). "About the
efficient reduction of
lambda terms"...
- Structures.
Category Theory for the
working computer scientist with A.
Asperti (1991). He has
published more than 100 peer-reviewed articles.
Longo is...
- "On
Diagrammatic Representation of
Mathematical Knowledge". In Andréa
Asperti; Bancerek, Grzegorz; Trybulec,
Andrzej (eds.).
Mathematical knowledge management:...
-
informatizzato dell'antica
letteratura trobadorica e
occitana (2017).
Stefano Asperti.
Carlo I d'Angiò e i trovatori.
Componenti "provenzali" e
angioine nella...
-
January 1216. Suárez Fernández, 606. Buresi, 214–5.
Ladero Quesada, 22.
Asperti, 53. Doubleday, 76 and 162 n115. Her
marriage is
recorded in the fourteenth-century...
