Sciweavers

106

WOLLIC
2007
Springer

81views Artificial Intelligence» more WOLLIC 2007»

Hybrid Logical Analyses of the Ambient Calculus

16 years 1 days ago

Hybrid Logical Analyses of the Ambient Calculus

Download www.cos.ufrj.br

Thomas Bolander, René Rydhof Hansen

claim paper

Read More »

120

WOLLIC
2007
Springer

106views Artificial Intelligence» more WOLLIC 2007»

Continuation Semantics for Symmetric Categorial Grammar

16 years 1 days ago

Continuation Semantics for Symmetric Categorial Grammar

Download www.cos.ufrj.br

Raffaella Bernardi, Michael Moortgat

claim paper

Read More »