Work

Checking Polynomial Time Complexity with Types

Year: 2002

Type: book-chapter

Source: Springer eBooks

DOI: 10.1007/978-0-387-35608-2_31

Author: Patrick Baillot

Institutions: Centre National de la Recherche Scientifique, Laboratoire d'Informatique de Paris-Nord

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2116114849

FWCI: 8.659

Cites: 17

Cited by: 18

Related to: 10