Document
Academic Article
Generically Dependent Continuant
Article
Information Content Entity
HTLC: Hyperintensional Typed Lambda Calculus
RDF description of HTLC: Hyperintensional Typed Lambda Calculus - http://irises.unimi.it/resource/item/924909