The essence of Scott's "continuous lattices" (2023)
- Authors:
- USP affiliated authors: MARIANO, HUGO LUIZ - IME ; MELEIRO, JUAN FERRER - IME
- Unidade: IME
- Subjects: TEORIA DAS CATEGORIAS; FILOSOFIA DA MATEMÁTICA
- Keywords: Lambda calculus; domain theory; philosophy of mathematical practice; mathematical praxis
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Boletin de Matematicas
- ISSN: 0120-0380
- Volume/Número/Paginação/Ano: v. 30, n. 2, p. 1-4, 2023
-
ABNT
MELEIRO, Juan Ferrer e MARIANO, Hugo Luiz. The essence of Scott's "continuous lattices". Boletin de Matematicas, v. 30, n. 2, p. 1-4, 2023Tradução . . Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112746. Acesso em: 05 jun. 2024. -
APA
Meleiro, J. F., & Mariano, H. L. (2023). The essence of Scott's "continuous lattices". Boletin de Matematicas, 30( 2), 1-4. Recuperado de https://revistas.unal.edu.co/index.php/bolma/article/view/112746 -
NLM
Meleiro JF, Mariano HL. The essence of Scott's "continuous lattices" [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-4.[citado 2024 jun. 05 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112746 -
Vancouver
Meleiro JF, Mariano HL. The essence of Scott's "continuous lattices" [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-4.[citado 2024 jun. 05 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112746 - The essence of Scott's "continuous lattices"
- Um convite ao estudo da teoria das categorias
- Expansions of Galois theory in algebra: infinity Galois theory and applications
- On profinite structures
- Proceedings of the XVIII Brazilian Logic Conference. [Preface]
- A Galois group functor for the category of special groups
- Filter pairs and natural extensions of logics
- Finitary filter pairs and propositional logics
- Categorias modeláveis
- Representation theory of logics: a categorial approach
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
3182219.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas