Checking polynomial time complexity with types.

Communication Dans Un Congrès Année : 2002

(1)

1

Patrick Baillot

Laboratoire d'Informatique de Paris-Nord

polynomial time complexity linear logic lambda-calculus type inference polynomial time complexity.

Logique en informatique [cs.LO]

https://hal.science/hal-00084626

Soumis le : samedi 8 juillet 2006-17:12:26

Dernière modification le : vendredi 24 mars 2023-14:52:47

hal-00084626 , version 1 (08-07-2006)

Patrick Baillot. Checking polynomial time complexity with types.. 2002, pp.370-382. ⟨hal-00084626⟩

UNIV-PARIS13 CNRS LIPN GALILE SORBONNE-PARIS-NORD

32 Consultations

0 Téléchargements