<--- Back to Details
First PageDocument Content
Semantics / Applied mathematics / Denotational semantics / Philosophy of language / Operational semantics / Formal semantics / Principle of compositionality / Theoretical computer science / Logic in computer science / Programming language semantics
Date: 2006-09-29 11:07:11
Semantics
Applied mathematics
Denotational semantics
Philosophy of language
Operational semantics
Formal semantics
Principle of compositionality
Theoretical computer science
Logic in computer science
Programming language semantics

cognitive agent programming a semantic approach

Add to Reading List

Source URL: www.pst.ifi.lmu.de

Download Document from Source Website

File Size: 1,45 MB

Share Document on Facebook

Similar Documents

Theoretical computer science / Logic in computer science / Programming language semantics / Models of computation / Game theory / Semantics / Denotational semantics / Game semantics / Determinacy / Samson Abramsky / Operational semantics

Semantics of Interaction Samson Abramsky Abstract The “classical” paradigm for denotational semantics models data types as domains, i.e. structured sets of some kind, and programs as (suitable) functions between doma

DocID: 1xToC - View Document

Broadening the denotational semantics of linear logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA

DocID: 1u8nF - View Document

Intro to Denotational Semantics Eric L. McCorkle December 13, 2015 Semantics

DocID: 1tmhs - View Document

The Semantics of Syntax Applying Denotational Semantics to Hygienic Macro Systems Neelakantan R. Krishnaswami University of Birmingham <>

DocID: 1t428 - View Document

Software engineering / Programming language theory / Computer programming / Type theory / Procedural programming languages / Functional languages / Logic in computer science / Programming language semantics / Standard ML / Denotational semantics / Monad / Type system

A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

DocID: 1rrvD - View Document