Sciweavers

4516 search results - page 11 / 904

» Education and the Semantic Web

47

CORR
2010
Springer

95views Education» more CORR 2010»

Causality and the Semantics of Provenance

14 years 9 months ago

Causality and the Semantics of Provenance

Download homepages.inf.ed.ac.uk

James Cheney

claim paper

Read More »

29

CORR
2010
Springer

52views Education» more CORR 2010»

Towards a Study of Meta-Predicate Semantics

14 years 9 months ago

Towards a Study of Meta-Predicate Semantics

Download logtalk.org

Paulo Moura

claim paper

Read More »

58

CORR
2004
Springer

104views Education» more CORR 2004»

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

14 years 9 months ago

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

Download akira.ruc.dk

Jørgen Villadsen

claim paper

Read More »

32

CORR
2002
Springer

87views Education» more CORR 2002»

A variable-free dynamic semantics

14 years 9 months ago

A variable-free dynamic semantics

Download www.digitas.harvard.edu

Chung-chieh Shan

claim paper

Read More »

58

CORR
2010
Springer

79views Education» more CORR 2010»

Semantics of a Typed Algebraic Lambda-Calculus

14 years 9 months ago

Semantics of a Typed Algebraic Lambda-Calculus

Download www.monoidal.net

Benoît Valiron

claim paper

Read More »

« Prev « First page 11 / 904 Last » Next »