Document
type: Class

Academic Article
type: Class

Continuant
type: Class

Entity
type: Class

Generically Dependent Continuant
type: Class

80102801
type: Entity
type: BFO_0000020
type: Authorship
type: Relationship
type: Continuant
type: Thing
relates: HTLC: Hyperintensional Typed Lambda Calculus

Article
type: Class

English
type: Language

Information Content Entity
type: Class

HTLC: Hyperintensional Typed Lambda Calculus
related by: 80102801
most specific type: Academic Article
type: Document
type: Information Content Entity
type: Continuant
type: Entity
type: Article
type: Thing
type: Generically Dependent Continuant
language: English
type: Academic Article

RDF description of HTLC: Hyperintensional Typed Lambda Calculus - http://irises.unimi.it/resource/item/924909
rights: termsOfUse
date: 2026-08-03T11:38:21
publisher: HTLC: Hyperintensional Typed Lambda Calculus
type: Document