Mangani, Piero:
Calcoli generali con «tipi» e Logiche generalizzate
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Serie 8 76 (1984), fasc. n.1, p. 1-6, (Italian)
pdf (693 Kb), djvu (674 Kb). | MR 0815155 | Zbl 0581.03033
Home -> Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend., Serie 8 -> Vol. 76 (1984), n. 1 -> pp. 1-6 |
La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.
Per suggerimenti o per segnalare eventuali errori, scrivete a zelati at unina dot it
Con il contributo del Ministero per i Beni e le Attività Culturali