Typed lambda calculi and applications /

Na minha lista:
Detalhes bibliográficos
Principais autores: Bezem, M., Groote, J. F., International Conference on Typed Lambda Calculi and Applications TLCA'93 ;
Formato: Livro
Publicado em:
Assuntos:
Lógica simbólica e matemática -
Processamento de dados.
Cálculo lambda.
Endereço do item:https://app.bczm.ufrn.br/home/#/item/102228
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-198634
record_format dspace
spelling oai:localhost:123456789-1986342022-11-30T07:24:26Z Typed lambda calculi and applications / Bezem, M. Groote, J. F. International Conference on Typed Lambda Calculi and Applications TLCA'93 ; Lógica simbólica e matemática - Processamento de dados. Cálculo lambda. 3 2022-10-11T03:39:01Z 2022-10-11T03:39:01Z 1993. Livro 681.3:510.6 T991 3540565175 : (Broch.) 102228 https://app.bczm.ufrn.br/home/#/item/102228 https://app.bczm.ufrn.br/home/#/item/102228
institution Acervo SISBI
collection SIGAA
topic Lógica simbólica e matemática -
Processamento de dados.
Cálculo lambda.
spellingShingle Lógica simbólica e matemática -
Processamento de dados.
Cálculo lambda.
Bezem, M.
Groote, J. F.
International Conference on Typed Lambda Calculi and Applications TLCA'93 ;
Typed lambda calculi and applications /
description
format Livro
author Bezem, M.
Groote, J. F.
International Conference on Typed Lambda Calculi and Applications TLCA'93 ;
author_facet Bezem, M.
Groote, J. F.
International Conference on Typed Lambda Calculi and Applications TLCA'93 ;
author_sort Bezem, M.
title Typed lambda calculi and applications /
title_short Typed lambda calculi and applications /
title_full Typed lambda calculi and applications /
title_fullStr Typed lambda calculi and applications /
title_full_unstemmed Typed lambda calculi and applications /
title_sort typed lambda calculi and applications /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/102228
work_keys_str_mv AT bezemm typedlambdacalculiandapplications
AT grootejf typedlambdacalculiandapplications
AT internationalconferenceontypedlambdacalculiandapplicationstlca93 typedlambdacalculiandapplications
_version_ 1766857621836398592

Registros relacionados