Found: 14
Select item for more details and to access through your institution.
∞-Groupoid Generated by an Arbitrary Topological λ-Model.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 465, doi. 10.1093/jigpal/jzab015
- By:
- Publication type:
- Article
Propositional intuitionistic multiple-conclusion calculus via proof graphs.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 1, p. 33, doi. 10.1093/jigpal/jzy017
- By:
- Publication type:
- Article
On the identity type as the type of computational paths.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 562, doi. 10.1093/jigpal/jzx015
- By:
- Publication type:
- Article
On the Formalization of Some Results of Context-Free Language Theory.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 270
- By:
- Publication type:
- Article
Intuitionistic N-Graphs.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 274, doi. 10.1093/jigpal/jzt033
- By:
- Publication type:
- Article
Meaning, Function, Purpose, Usefulness, Consequences – Interconnected Concepts.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 5, p. 693, doi. 10.1093/jigpal/9.5.693
- By:
- Publication type:
- Article
Formalization of the Pumping Lemma for Context-Free Languages.
- Published in:
- Journal of Formalized Reasoning, 2016, v. 9, n. 2, p. 53
- By:
- Publication type:
- Article
Abstract Data Types and Type Theory: Theories as Types.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 9-12, p. 149, doi. 10.1002/malq.19910370904
- By:
- Publication type:
- Article
Proof theory and computer programming.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 5, p. 389, doi. 10.1002/malq.19900360505
- By:
- Publication type:
- Article
IMPACTOS DE EXTRAÇÃO DO PETRÓLEO (ÓLEO E GÁS) NO RIO GRANDE DO NORTE, NA REGIÃO DO ALTO DO RODRIGUES/RN.
- Published in:
- HOLOS, 2013, v. 29, n. 3, p. 130
- By:
- Publication type:
- Article
Towards a homotopy domain theory.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 3/4, p. 559, doi. 10.1007/s00153-022-00856-0
- By:
- Publication type:
- Article
On dividing chains in simple theories.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 7, p. 897, doi. 10.1007/s00153-005-0292-0
- By:
- Publication type:
- Article
THE THEORY OF AN ARBITRARY HIGHER λ-MODEL.
- Published in:
- Bulletin of the Section of Logic, 2023, v. 52, n. 1, p. 39, doi. 10.18778/0138-0680.2023.11
- By:
- Publication type:
- Article
From Tractatus to Later Writings and Back – New Implications from Wittgenstein's Nachlass.
- Published in:
- SATS - Northern European Journal of Philosophy, 2023, v. 24, n. 2, p. 167, doi. 10.1515/sats-2022-0016
- By:
- Publication type:
- Article