Somos UnB
UnB
Última atualização do sistema: 13.11.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Lambda Calculus
utilizada 52 vezes por 3 professores
Utilizada por 3 professores
Por ordem de relevância (total: 3)
Mauricio Ayala Rincon
Flávio Leonardo Cavalcanti de Moura
Daniele Nantes Sobrinho
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "Lambda Calculus"
Animação de algoritmos
Calculi of Explicit Substitutions
Eta reduction
Explicit Substitutions
Higher-Order Patterns
Higher-Order Unification
Lambda Calculus
Lógica da Computação
Lógica e semântica da computação
Métodos Formais
Non-determinism
Ocaml
Resource Control
Resources
Rewriting Systems
Semantica de Linguagens de Programacao
Semântica das linguagens de programação
Session Types
Substituicao Explicita
Substituições Explícitas
Teoria de Reescrita
Teoria de tipos
Tipos com interseção
expressivity of programming languages
functional programming
logic
pi-calculo
sistemas de reescrita
unificação de ordem superior
CTIT UFMG