OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

65 (1)

Show More Show Less

Author

Show More Show Less

Subject

Axiome of dependent choice (1)
Classical realizability (1)
Computational content of classical proof (1)
Implicative algebras (1)
Lazy evaluation (1)
Side effects (1)

Show More Show Less

Year

2017 (1)
2019 (1)

Show More Show Less

Document Type

Sin Especificar (1)

Show More Show Less

Language

Inglés (1)

Show More Show Less

Your search

Query: CONTROL Document Type: Sin Especificar Repository: 65 Year: 2017 Year: 2019 Language: Inglés

Sort by Score Title Year -

1-1 from 1 results (0.008 seconds)

Title: Classical realizability and side-effects
Language: Inglés
Repository: 65
Subject: Computational content of classical proof / Side effects / Lazy evaluation / Axiome of dependent choice / Classical realizability / Implicative algebras

« Previous 1 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2025 ©. Todos los derechos reservados conforme a la ley 11.723