Cálculo lambda: um formalismo para funções.

dc.contributor.advisor	Dimuro, Graçaliz P.	pt_BR
dc.contributor.author	Araújo, Éderson M. de	pt_BR
dc.contributor.author	Sellanes, Ruben G.S.	pt_BR
dc.contributor.author	Costa, Antônio C.R.	pt_BR
dc.date.accessioned	2014-08-14T10:28:01Z	pt_BR
dc.date.issued	1998	pt_BR
dc.identifier.uri	http://hdl.handle.net/10183/100555	pt_BR
dc.format.mimetype	application/pdf
dc.language.iso	por	pt_BR
dc.relation.ispartof	Salão de Iniciação Científica (10. : 1998 : Porto Alegre). Livro de resumos. Porto Alegre : UFRGS, 1998.	pt_BR
dc.rights	Open Access	en
dc.title	Cálculo lambda: um formalismo para funções.	pt_BR
dc.type	Resumo publicado em evento	pt_BR
dc.contributor.event	Salão de Iniciação Científica (10. : 1998 set. 19-23 : UFRGS, Porto Alegre, RS).	pt_BR
dc.subject.session	Fundamentos da Computação e Inteligência Artificial	pt_BR
dc.subject.cnpq	Ciências exatas e da terra	pt_BR
dc.type.presentation	Apresentação oral	pt_BR
dc.identifier.old-sic	19980239	pt_BR

Este item está licenciado na Creative Commons License