Title
Type-theoretical Semantics of Some Declarative Languages
Abstract
Without Abstract
Year
DOI
Venue
1991
10.1007/BFb0019354
Baltic computer science
Keywords
Field
DocType
declarative languages,type-theoretical semantics
Fifth-generation programming language,Operational semantics,Programming language,Computer science,Action semantics,Denotational semantics,Declarative programming,Propositional variable,Semantics,Ontology language
Conference
Volume
ISSN
ISBN
502
0302-9743
3-540-54131-4
Citations 
PageRank 
References 
0
0.34
5
Authors
3
Name
Order
Citations
PageRank
Grigori Mints123572.76
Jan M. Smith210822.30
Enn Tyugu327863.65