Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Arthur F. Ramos

Arthur Freitas Ramos

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-07769
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-07769
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Thiago D. O. Silva, Anjolina Grisi de Oliveira:
Computational Paths - A Weak Groupoid. CoRR abs/2007.07769 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Ramos19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Ramos19
Arthur Freitas Ramos:
Explicit Computational Paths in Type Theory. Bull. Symb. Log. 25(2): 213-214 (2019)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-09105
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-09105
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira:
A Topological Application of Labelled Natural Deduction. CoRR abs/1906.09105 (2019)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-09107
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-09107
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira:
An alternative approach to the calculation of fundamental groups based on labeled natural deduction. CoRR abs/1906.09107 (2019)
2018
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-01709
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-01709
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Tiago Mendonça Lucena de Veras:
On the Use of Computational Paths in Path Spaces of Homotopy Type Theory. CoRR abs/1803.01709 (2018)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-01413
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-01413
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira:
On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths. CoRR abs/1804.01413 (2018)
2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/RamosQO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/RamosQO17
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira:
On the identity type as the type of computational paths. Log. J. IGPL 25(4): 562-584 (2017)
2016
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/RamosQO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RamosQO16
Arthur Freitas Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira:
Computational Paths and Identity Types. CoRR abs/1609.05079 (2016)
2015
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/RamosQO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RamosQO15
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira:
On the Identity Type as the Type of Computational Paths. CoRR abs/1504.04759 (2015)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/RamosQO15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RamosQO15a
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira:
On the Groupoid Model of Computational Paths. CoRR abs/1506.02721 (2015)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/RamosQO15b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RamosQO15b
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira:
On Computational Paths and the Fundamental Groupoid of a Type. CoRR abs/1509.06429 (2015)
2014
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/RamosQO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RamosQO14
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira:
Sequences of Rewrites: A Categorical Interpretation. CoRR abs/1412.2105 (2014)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.