W
WadgeW. W.
Publications - 1
Citations - 14
WadgeW. W. is an academic researcher. The author has contributed to research in topics: Intensional logic & Class (philosophy). The author has an hindex of 1, co-authored 1 publications receiving 13 citations.
Papers
More filters
Journal ArticleDOI
Higher-order functional languages and intensional logic
RondogiannisP.,WadgeW. W. +1 more
TL;DR: In this article, a broad class of higher-order functional programs can be transformed into semantically equivalent multidimensional intensional programs that contain only nullary variables, and they demonstrate that such programs can also be transformed to semantically meaningful intensional functional programs.