20 citations · 54 across the 9 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 3 cited
On the Semantics of Intensionality and Intensional Recursion
G. A. Kavvos
Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a function is intensional if it operates at a level finer than (extensional) equalit…
cs.PL2017★ 3 cited
Intensionality, Intensional Recursion, and the Gödel-Löb axiom
G. A. Kavvos
The use of a necessity modality in a typed -calculus can be used to separate it into two regions. These can be thought of as intensional vs. extensional data: data in the first…