Algorithms for infinite session types

Tese de Mestrado, Mestrado em Informática, 2022, Universidade de Lisboa, Faculdade de Ciências

Bibliographic Details
Main Author: Sardinha, Inês Maria Caldeira (author)
Format: masterThesis
Language:eng
Published: 2022
Subjects:
Tipos de sessão
Tipos infinitos
Algoritmos
Formação de tipos
Equivalência de tipos
Teses de mestrado - 2022
Domínio/Área Científica::Ciências Naturais::Ciências da Computação e da Informação
Online Access:http://hdl.handle.net/10451/55529
Country:Portugal
Oai:oai:repositorio.ul.pt:10451/55529

Internet

http://hdl.handle.net/10451/55529

Similar Items