Victor Nascimento

1. Following all the rules: Intuitionistic completeness for generalised proof-theoretic validity
   2022/11/22 by Will Stafford, Stafford, Will, Victor Nascimento +1 · 1 citation
   Computer Science · Psychology · #Logic, Reasoning, and Knowledge #Philosophy and Theoretical Science #Logic, programming, and type systems