Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

16th LSFA 2021: Buenos Aires, Argentina

> Home > Conferences and Workshops > LSFA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-03415
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-03415
Mauricio Ayala-Rincón, Eduardo Bonelli:
Proceedings 16th Logical and Semantic Frameworks with Applications, LSFA 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021. EPTCS 357, 2022
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-03885
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-03885
Alejandro Díaz-Caro:
A Quick Overview on the Quantum Control Approach to the Lambda Calculus. 1-17
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2106-06633
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-06633
Rafael Romero, Alejandro Díaz-Caro:
A note on confluence in typed probabilistic lambda calculi. 18-24
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-03882
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-03882
Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez:
About Opposition and Duality in Paraconsistent Type Theory. 25-37
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-03884
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-03884
Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen:
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL. 38-55
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2106-09883
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-09883
Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio:
On Logics of Perfect Paradefinite Algebras. 56-76
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2105-03389
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-03389
Patricia Johann, Enrico Ghiorzi, Daniel Jeffries:
GADTs, Functoriality, Parametricity: Pick Two. 77-92
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-03964
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-03964
Daniele Nantes, Carlos Olarte, Daniel Ventura:
A subexponential view of domains in session types. 93-111

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.