검색어 : 통합검색[Berardi Franco]
총 202건 중 202건 출력
, 8/21 페이지
-
71
-
On the cardinality of blocking sets in PG(2,q)
-
Berardi, Luigia;
Eugeni, Franco;
;
(Journal of geometry,
v.22,
1984,
pp.5-14)
-
72
-
Proof-irrelevance out of excluded-middle and choice in the calculus of constructions
-
Barbanera, Franco;
Berardi, Stefano;
;
(Journal of functional programming,
v.6,
1996,
pp.519-526)
-
73
-
Schizo-Economy
-
Berardi, Franco;
Goddard, Michael;
;
(Sub-stance,
v.36,
2007,
pp.76-85)
-
74
-
What About the Dark Side of Multitude?
-
Berardi (aka Bifo), Franco;
Accademia di Belle Arti di Brera, Milan, Italy;
(The Journal of communication inquiry,
v.35,
2011,
pp.310-312)
-
75
-
A strong normalization result for classical logic
-
Barbanera, Franco;
Berardi, Stefano;
Corresponding author.;
Dipartimento di Informatica, Università
di Torino, Corso Svizzera, 185 10149 Torino, Italy;
(Annals of pure and applied logic,
v.76,
1995,
pp.99-116)
-
76
-
Παραίτηση
-
Berardi Franco “Bifo”;
;
(Αυτόματον: Περιοδικό Ψηφιακών Μέσων και Πολιτισμού,
v.2,
2022,
pp.54-67)
-
77
-
A full continuous model of polymorphism
-
Barbanera, Franco;
Berardi, Stefano;
Dipartimento di Matematica e Informatica, Università
degli Studi di Catania, Viale A. Doria 6a, 95125 Catania Italy;
Dipartimento di Informatica, Universitá
degli studi di Torino, Corso Svizzera 185, 10149 Torino, Italy;
(Theoretical computer science,
v.290,
2003,
pp.407-428)
-
78
-
Sufrimiento de la desigualdad : Aproximaciones desde la filosofía actual
-
Martí
nez Quintanar, Miguel Á
ngel;
;
(Cuadernos salmantinos de filosofía,
v.47,
2020,
pp.159-182)
-
79
-
The Simply Typed Theory of<i>β</i>-conversion Has No Maximum Extension
-
Barbanera, Franco;
Berardi, Stefano;
Dipartimento di Informatica, Università
di Torino, Corso Svizzera, 185, 10149, Torino, Italy;
Dipartimento di Informatica, Università
di Torino, Corso Svizzera, 185, 10149, Torino, Italy;
(Information and computation,
v.139,
1997,
pp.57-61)
-
80
-
Intimidade em Tempos Digitais: O Esquecimento da Relação Face a Face
-
CARLETTI Renan Silva;
SAFRA Gilberto;
;
(PHENOMENOLOGICAL STUDIES - Revista da Abordagem Gestáltica,
v.27,
2021,
pp.37-45)