Subtypes and quantification

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ACM transactions on programming languages and systems 1991-10, Vol.13 (4), p.631-632
1. Verfasser:	Volpano, Dennis M.
Format:	Artikel
Sprache:	eng
Schlagworte:	Program constructs Semantics and reasoning Theory of computation Type structures
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!