On Generalized Metric Spaces for the Simply Typed Lambda-Calculus

Generalized metrics, arising from Lawvere's view of metric spaces as enriched categories, have been widely applied in denotational semantics as a way to measure to which extent two programs behave in a similar, although non equivalent, way. However, the application of generalized metrics to hig...

Full description

Bibliographic Details

Published in:	Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 1 - 14
Main Author:	Pistone, Paolo
Format:	Conference Proceeding
Language:	English
Published:	IEEE 29.06.2021
Subjects:	Calculus Cognition Computer science Euclidean distance Extraterrestrial measurements Semantics
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!