Sciweavers

8

WOLLIC
2007
Springer

81views Artificial Intelligence» more WOLLIC 2007»

Hybrid Logical Analyses of the Ambient Calculus

13 years 11 months ago

Hybrid Logical Analyses of the Ambient Calculus

Download www.cos.ufrj.br

Thomas Bolander, René Rydhof Hansen

claim paper

Read More »

9

WOLLIC
2007
Springer

106views Artificial Intelligence» more WOLLIC 2007»

Continuation Semantics for Symmetric Categorial Grammar

13 years 11 months ago

Continuation Semantics for Symmetric Categorial Grammar

Download www.cos.ufrj.br

Raffaella Bernardi, Michael Moortgat

claim paper

Read More »