The Type Theory of PL/CV3

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ACM transactions on programming languages and systems 1984-01, Vol.6 (1), p.94-117
Hauptverfasser:	Constable, Robert L., Zlatin, Daniel R.
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Computability Computer science control theory systems Exact sciences and technology Formal language definitions Logic Models of computation Program reasoning Program semantics Programming logic Semantics Semantics and reasoning Software Software and its engineering Software engineering Software notations and tools Theory of computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!