Work

Factorization and Normalization, Essentially

Year: 2019

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-030-34175-6_9

Authors: Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri

Institutions: Institut national de recherche en sciences et technologies du numérique, École Polytechnique, Laboratoire d'Informatique de l'École Polytechnique, Centre National de la Recherche Scientifique, Université Paris Cité, Institut de Recherche en Informatique Fondamentale, University of Bath

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: Agence Nationale de la Recherche, Engineering and Physical Sciences Research Council

Awards: Typed Lambda-Calculi with Sharing and Unsharing, G5420063140, Cost models for complexity analyses of higher-order programming languages, G8011290971

OpenAlex ID: W2970818630

FWCI: 0.882

Cites: 32

Cited by: 19

Related to: 10