On posetal and complete partial applicative structures

Every partial applicative structure gives rise to an indexed binary relation, that is a contravariant functor from the category of sets to the category of sets endowed with binary relations and maps preserving them. In this paper we characterize those partial applicative structures giving rise to in...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Maschio, Samuele
Format:	Artikel
Sprache:	eng
Schlagworte:	Mathematics - Logic
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!