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

Your search

Query: FORMAL LANGUAGES Document Type: Sin Especificar Repository: 65 Language: Inglés Year: 2017

Sort by Score Title Year -

1-2 from 2 results (0.012 seconds)

Title: On the Formalisation of the Metatheory of the Lambda Calculus and Languages with Binders
Language: Inglés
Repository: 65
Subject: Programación Genérica / Lenguajes de Programación / Metateoría Formal / Cálculo Lambda / Teoría de Tipos

Acceder
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 »