OPAC

Query: FORMAL LANGUAGES Repository: 65 Language: Inglés Year: 2017

Sort by Score Title Year -

1-5 from 5 results (0.011 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: Tolerance of tax evasion
Language: Inglés
Repository: 65
Subject: IMPUESTOS / EVASION TRIBUTARIA / DESARROLLO ECONOMICO

Acceder
Title: The trade-off between reforms and checks and balances
Language: Inglés
Repository: 65

Acceder
Title: Impact of a work-study programme for teenagers: evidence from a randomized controlled trial
Language: Inglés
Repository: 65
Subject: ECONOMIA / EVALUACION DE IMPACTO / EMPLEO JUVENIL / EXPERIMENTO ALEATORIO CONTROLADO

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 »

Refine your Search