Percorrer por assunto λ-calculus
Mostrar 1-5 de um total de 5 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2022 | An internal language for categories enriched over generalised metric spaces | Dahlqvist, Fredrik; Neves, Renato Jorge Araújo | Artigo em ata de conferência | Acesso aberto |
2023 | A complete V-equational system for graded lambda-calculus | Dahlqvist, Fredrik; Neves, Renato Jorge Araújo | Artigo em ata de conferência | Acesso aberto |
Jan-2022 | Plotkin's call-by-value λ-calculus as a modal calculus | Espírito Santo, José; Pinto, Luís F.; Uustalu, Tarmo | Artigo | Acesso aberto |
2023 | The syntactic side of autonomous categories enriched over generalised metric spaces | Dahlqvist, Fredrik; Neves, Renato Jorge Araújo | Artigo | Acesso aberto |
2008 | Token-passing nets for functional languages | Almeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, Miguel | Artigo | Acesso aberto |