default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 606
Volume 606, November 2015
- Marcelo Finger, Delia Kesner:
Special Issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). 1
- Beniamino Accattoli:
Proof nets and the call-by-value λ-calculus. 2-24 - Carlos Areces
, Ezequiel Orbe:
Symmetric blocking. 25-41 - Walter Carnielli, Mariana Matulovic:
The method of polynomial ring calculus and its potentialities. 42-56 - Alberto Ciaffaglione, Ivan Scagnetto:
Mechanizing type environments in weak HOAS. 57-78 - Marcello D'Agostino:
An informational view of classical logic. 79-97 - Carlos Olarte, Elaine Pimentel, Vivek Nigam:
Subexponential concurrent constraint programming. 98-120
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
