Prelogical relations
type: Item
instance of: scholarly article
title: Prelogical relations
zbMATH Open document ID: 1012.03039
DOI: 10.1016/S0890-5401(02)93115-9
author: Furio Honsell
author: Donald Sannella
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 1853283
MaRDI profile type: Publication
cites work: Abstract Interpretation, Logical Relations, and Kan Extensions
cites work: A characterization of lambda definability in categorical models of implicit polymorphism
cites work: Q5287527
cites work: Q4281469
cites work: Q5590815
cites work: Q4508300
cites work: Q4945250
cites work: Q4281477
cites work: Q4364388
cites work: Q4499146
cites work: Kripke-style models for typed lambda calculus
cites work: Kripke logical relations and PCF
cites work: Q2754136
cites work: Q2753695
cites work: A relational account of call-by-value sequentiality
cites work: On observational equivalence and algebraic specification
cites work: Toward formal development of programs from algebraic specifications: Implementations revisited
cites work: λ-definable functionals andβη conversion
cites work: Logical relations and the typed λ-calculus
full work available at URL: s0890-5401(02)93115-9
OpenAlex ID: W2911466401
description: scientific article; zbMATH DE number 1853283