Complex combinator and structural equations

• Processo: 97/05123-9
• Modalidade de apoio: Auxílio à Pesquisa - Reunião - Brasil
• Data de Início da vigência: 20 de agosto de 1997
• Data de Término da vigência: 22 de agosto de 1997
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
• Pesquisador responsável: Marcelo Finger
• Beneficiário: Marcelo Finger
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Lógica computacional Cálculo lambda
• Palavra(s)-Chave do Pesquisador: Calculo Lambda | Combinadores | Deducao Automatica | Equacoes Estruturais | Logica