Bruno Dinis

Identifiers

• name variant Bruno Dinis 0.60 · backfill

Papers (4)

1. Axiomatics for the external numbers of nonstandard analysis math.LO · 2016 · author #1
2. Intuitionistic nonstandard bounded modified realisability and functional interpretation math.LO · 2015 · author #1
3. Characterization of distributivity in a solid math.LO · 2015 · author #1
4. On the quotient class of non-archimedean fields math.LO · 2015 · author #1

Mentions

• 1510.08722 #1 · backfill · confidence 0.70 Bruno Dinis
• 1510.08714 #1 · backfill · confidence 0.70 Bruno Dinis

Frequent Coauthors

• Imme van den Berg 3 shared papers
• Jaime Gaspar 1 shared papers