Sciweavers

87

WOLLIC
2007
Springer

81views Artificial Intelligence» more WOLLIC 2007»

Hybrid Logical Analyses of the Ambient Calculus

15 years 10 months ago

Hybrid Logical Analyses of the Ambient Calculus

Download www.cos.ufrj.br

Thomas Bolander, René Rydhof Hansen

claim paper

Read More »

95

WOLLIC
2007
Springer

106views Artificial Intelligence» more WOLLIC 2007»

Continuation Semantics for Symmetric Categorial Grammar

15 years 10 months ago

Continuation Semantics for Symmetric Categorial Grammar

Download www.cos.ufrj.br

Raffaella Bernardi, Michael Moortgat

claim paper

Read More »