The parametric lambda calculus : a metamodel for computation /

Na minha lista:
Detalhes bibliográficos
Principais autores: Ronchi Della Rocca, Simona., Paolini, Luca
Formato: Livro
Publicado em:
Assuntos:
Lambda calculus.
Linguagem de programação (Computadores).
Endereço do item:https://app.bczm.ufrn.br/home/#/item/126126
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-89241
record_format dspace
spelling oai:localhost:123456789-892412022-11-30T12:37:49Z The parametric lambda calculus : a metamodel for computation / Ronchi Della Rocca, Simona. Paolini, Luca, Lambda calculus. Linguagem de programação (Computadores). 2 2022-10-05T21:24:24Z 2022-10-05T21:24:24Z c2004. Livro 004.43 R769p 3540200320 (enc.). 126126 https://app.bczm.ufrn.br/home/#/item/126126 https://app.bczm.ufrn.br/home/#/item/126126
institution Acervo SISBI
collection SIGAA
topic Lambda calculus.
Linguagem de programação (Computadores).
spellingShingle Lambda calculus.
Linguagem de programação (Computadores).
Ronchi Della Rocca, Simona.
Paolini, Luca,
The parametric lambda calculus : a metamodel for computation /
description
format Livro
author Ronchi Della Rocca, Simona.
Paolini, Luca,
author_facet Ronchi Della Rocca, Simona.
Paolini, Luca,
author_sort Ronchi Della Rocca, Simona.
title The parametric lambda calculus : a metamodel for computation /
title_short The parametric lambda calculus : a metamodel for computation /
title_full The parametric lambda calculus : a metamodel for computation /
title_fullStr The parametric lambda calculus : a metamodel for computation /
title_full_unstemmed The parametric lambda calculus : a metamodel for computation /
title_sort parametric lambda calculus : a metamodel for computation /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/126126
work_keys_str_mv AT ronchidellaroccasimona theparametriclambdacalculusametamodelforcomputation
AT paoliniluca theparametriclambdacalculusametamodelforcomputation
AT ronchidellaroccasimona parametriclambdacalculusametamodelforcomputation
AT paoliniluca parametriclambdacalculusametamodelforcomputation
_version_ 1766830706906890240

Registros relacionados