4:45 PM
0
In $\lambda C$ we have abstraction over types, type constructors, etc. Are there any works out there that explore quantification over variables that inhabit these entities? For example, in simple type theory, we get to quantify over variables of any types, e.g., individuals, represented by $\fora...
« first day (2862 days earlier) ← previous day next day → last day (1046 days later) »
Transcript for
Jun22
Jun '2123
Jun26
MO editors' lounge
Talk related to editing, tagging and related matters for the s...