Sciweavers

15

WOLLIC
2007
Springer

81views Artificial Intelligence» more WOLLIC 2007»

Hybrid Logical Analyses of the Ambient Calculus

14 years 1 months ago

Hybrid Logical Analyses of the Ambient Calculus

Download www.cos.ufrj.br

Thomas Bolander, René Rydhof Hansen

claim paper

Read More »

15

WOLLIC
2007
Springer

106views Artificial Intelligence» more WOLLIC 2007»

Continuation Semantics for Symmetric Categorial Grammar

14 years 1 months ago

Continuation Semantics for Symmetric Categorial Grammar

Download www.cos.ufrj.br

Raffaella Bernardi, Michael Moortgat

claim paper

Read More »