The following pages link to T. Joly (Q236814):
Displayed 6 items.
- (Q3149663) (← links)
- Un plongement de la logique classique du 2nd ordre dans AF2 (Q4355235) (← links)
- (Q4457455) (← links)
- Non finitely generated types and λ-terms combinatoric representation cost (Q4522149) (← links)
- (Q4681365) (← links)
- Constant time parallel computations in \(\lambda\)-calculus (Q5958783) (← links)