EtiquetaCálculo lambda

Etiqueta en inglés: lambda calculus (mejora la traducción)

Incluye: lambda calculus, Lambda Calculus, labda calculus, lambda-calculus, Lambda calculus, Lambda-calculus

Traducciones: Lambda-Kalkül, Cálculo lambda, Lambda-calcul, Lambda račun, Lambda-reikningur, Lambda calcolo, Lambda-kalkulus, Lambdacalculus, Rachunek lambda, Cálculo lambda, Лямбда-исчисление, Lambda kalkul, Lambdakalkyyli, Lambdakalkyl

Obras etiquetadas

Etiquetado más a menudo | Ponderado | Recientemente popular | Publicado recientemente — Filtrar: Ninguno (editar)

The Lambda Calculus: Its Syntax and Semantics por H.P. Barendregt (8 veces)
An Introduction to Functional Programming Through Lambda Calculus por Greg Michaelson (4 veces)
Lambda Calculi: A Guide for Computer Scientists por Chris Hankin (4 veces)
Domains and Lambda-Calculi por Roberto M. Amadio (2 veces)
Term Rewriting Systems por Terese (2 veces)
An Introduction to Lambda Calculi for Computer Scientists por Chris Hankin (2 veces)
Lambda-calculus, Combinators and Functional Programming por G. E. Revesz (2 veces)
Turing's Vision: The Birth of Computer Science (MIT Press) por Chris Bernhardt (1 veces)
Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings por Luke Ong (1 veces)
Lectures on the Curry-Howard Isomorphism por Morten Heine Sørensen (1 veces)
Lambda-Calculus and Combinators: An Introduction por J. Roger Hindley (1 veces)
Abstract Computing Machines por Werner Kluge (1 veces)
Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007 por Simona Ronchi Della Rocca (1 veces)
Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005 por Paweł Urzyczyn (1 veces)
Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005 por Geoff Sutcliffe (1 veces)
Processes, Terms and Cycles: Steps on the Road to Infinity por Aart Middeldorp (1 veces)
Representation and Inference for Natural Language: A First Course in Computational Semantics por Patrick Blackburn (1 veces)
Introduction to combinators and lambda-calculus por J. R. Hindley (1 veces)
The Calculi of Lambda Conversion por Alonzo Church (1 veces)
Equational Logic as a Programming Language (Foundations of Computing) por Michael J. O'Donnell (1 veces)
Proofs and Types por Jean-Yves Girard (1 veces)
Lazy Functional Languages: Abstract Interpretation and Compilation (Research Monographs in Parallel and Distributed Computing) por Geoffrey Burn (1 veces)
Essentials of Programming Languages - 2nd Edition por Daniel P. Friedman (1 veces)
Programming languages, information structures, and machine organization por Peter Wegner (1 veces)
To Mock a Mockingbird : And Other Logic Puzzles por Raymond Smullyan (1 veces)

Títulos Portadas

Usan esta etiqueta

koffieyahoo (10), nillacat (3), timcowlishaw (3), draganigajic (2), lidaskoteina (2), bertilak (2), BalliolLibrary (2), prosfilaes (2), wolfram (1), mkjones (1), peterdmark (1), shijun (1), jhevelin (1), billmcn (1), mfd101 (1), tautologico (1), mdransfield (1), pgourdin (1), tremali (1), appomsk (1), thisfred (1) y otros 26 miembros

Google Books Ngram Viewer

Datos de Books Ngram Viewer

EtiquetaCálculo lambda

Etiqueta en inglés: lambda calculus (mejora la traducción)

Obras etiquetadas

Usan esta etiqueta

Etiquetados recientemente

Google Books Ngram Viewer

Etiquetas relacionadas

Series relacionadas

Grupos de etiquetas relacionados