[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Hi Robert,
I give a course at a degree in programming at Quilmes University, using
typed lambda calculus.
The webpage and notes (in Spanish) is here:
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Dear Marino, dear all,
El mié, 9 mar. 2022 05:05, Marino Miculan
escribió:
>
> Of course, I am sure that there are many colleagues there against the
> invasion. But then, we have to distinguish between the
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
I may add that it makes totally sense to me that a service such as Clowdr
(and other similar platforms) charge for their usage. The price do not only
covers the usage, but also there is somebody to assist you (giving
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Dear all,
The real costs of online conferences are much less than for physical
ones, that is clear. However, it is not free of cost. The costs may
be:
* Publication costs (for example, LIPIcs charges 60 euros per paper)
t; However, the previous page and a half were spent talking about the type
> structure of system T, so it is reasonable to guess that T stands for
> "types". But, no explicit reason is given in print.
>
> Best,
> Neel
>
>
> [1] "This means the axioms of this syste
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Dear Type-theorists,
Does anyone know where do the names System "F" and System "T" comes from? I
am not asking who introduced those names (Girard System F, and Gödel System
T), but what the "F" and the "T" means.
Kind
