Um Convite ao Estudo da Teoria das Categorias von Mariano, Hugo Luiz, Meleiro, Juan Ferrer

Volltext

The Essence of Scott's "Continuous Lattices" von Meleiro, Juan F, Mariano, Hugo Luiz

Volltext

Classification of linear mappings between indefinite inner product spaces von Meleiro, Juan, Sergeichuk, Vladimir V., Solovera, Thiago, Zaidan, André

Volltext

Formalizing the Curry-Howard Correspondence von Meleiro, Juan Ferrer, Mariano, Hugo Luiz

Volltext bestellen

Classification of linear mappings between indefinite inner product spaces von Meleiro, Juan, Sergeichuk, Vladimir V, Solovera, Thiago, Zaidan, Andre

Volltext

Formalizing the Curry-Howard Correspondence von Juan Ferrer Meleiro, Mariano, Hugo Luiz

Volltext