The following pages link to Philippe de Groote (Q831146):
Displaying 35 items.
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← links)
- A note on Kobayashi's and Yonezawa's ``Asynchronous communication model based on linear logic'' (Q1272763) (← links)
- On the strong normalisation of intuitionistic natural deduction with permutation-conversions (Q1400711) (← links)
- On the expressive power of abstract categorial grammars: Representing context-free formalisms (Q1770834) (← links)
- Classical non-associative Lambek calculus (Q1850952) (← links)
- An algebraic correctness criterion for intuitionistic multiplicative proof-nets (Q1960420) (← links)
- A note on intensionalization (Q2255214) (← links)
- (Q2723896) (← links)
- (Q2757810) (← links)
- (Q2767024) (← links)
- (Q2778822) (← links)
- Proof-Theoretic Aspects of the Lambek-Grishin Calculus (Q2947464) (← links)
- (Q3024836) (← links)
- About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar (Q3100163) (← links)
- On Two Extensions of Abstract Categorial Grammars (Q3498472) (← links)
- On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar (Q3638283) (← links)
- (Q4012876) (← links)
- An environment machine for the λμ-calculus (Q4236202) (← links)
- (Q4263011) (← links)
- (Q4263153) (← links)
- (Q4281472) (← links)
- (Q4281578) (← links)
- (Q4370237) (← links)
- (Q4376053) (← links)
- (Q4447236) (← links)
- (Q4501146) (← links)
- A complete axiomatisation for the inclusion of series-parallel partial orders (Q4594231) (← links)
- (Q4599194) (← links)
- Stochastic Lambek Categorial Grammars (Q4923553) (← links)
- (Q4938597) (← links)
- (Q4954443) (← links)
- Computer Science Logic (Q5311258) (← links)
- Deriving formal semantic representations from dependency structures (Q6560409) (← links)
- Extending abstract categorial grammars with feature structures: theory and practice (Q6636190) (← links)
- On the semantics of dependencies: relative clauses and open clausal complements (Q6636195) (← links)
