Výsledky vyhledávání - Inductive–Inductive Logic Programming

Initial Algebras of Domains via Quotient Inductive-Inductive Types

Autoři: van Collem, Simcha van der Weide, Niels Geuvers, Herman

Témata: FOS: Computer and information sciences, Logic in Computer Science, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2509.10187

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Functional and Constraint Logic Programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Autoři: Josep Silva

Resource Type: eBook.

Témata: Computer science, Computer programming, Compilers (Computer programs), Artificial intelligence

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Stephanie Weirich

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Languages / General

POSITIVE INDUCTIVE-RECURSIVE DEFINITIONS.

Autoři: GHANI, NEIL MALATESTA, LORENZO FORSBERG, FREDRIK NORDVALL

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-21, 21p

Témata: INDUCTIVE logic programming, MATHEMATIC morphism, MATHEMATICAL transformations, MATHEMATICAL models, CODING theory

PhD Abstracts.

Zdroj: Journal of Functional Programming; 2024, Vol. 34, p1-12, 12p

Témata: NATURAL language processing, DATA structures, PROGRAMMING language semantics, INSTRUCTION set architecture, INTUITIONISTIC type theory, DEBUGGING

Correct and Complete Type Checking and Certified Erasure for Coq, in Coq.

Autoři: Sozeau, Matthieu Forster, Yannick Lennon-Bertrand, Meven a další

Zdroj: Journal of the ACM; Feb2025, Vol. 72 Issue 1, p1-74, 74p

Témata: INCOMPLETENESS theorems, CHECKS, METATHEORY, CALCULUS, DEFINITIONS

Topological Quantum Gates in Homotopy Type Theory.

Autoři: Myers, David Jaz Sati, Hisham Schreiber, Urs

Zdroj: Communications in Mathematical Physics; Jul2024, Vol. 405 Issue 7, p1-114, 114p

Coq Formalization of ZFC Set Theory for Teaching Scenarios.

Autoři: Xinyi Wan Ke Xu Qinxiang Cao

Zdroj: International Journal of Software & Informatics; 2023, Vol. 13 Issue 3, p323-357, 35p

Témata: COMPUTATIONAL mathematics, FIRST-order logic, SET theory

The Scott model of PCF in univalent type theory.

Autoři: de Jong, Tom

Zdroj: Mathematical Structures in Computer Science; Nov2021, Vol. 31 Issue 10, p1270-1300, 31p

Témata: PROGRAMMING languages

AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS.

Autoři: SHULMAN, MICHAEL

Zdroj: Bulletin of Symbolic Logic; Sep2022, Vol. 28 Issue 3, p327-386, 60p

Témata: MATHEMATICS, CONSTRUCTIVE mathematics, SUBGROUP analysis (Experimental design), MATHEMATICIANS, INTUITIONISTIC mathematics

Synthetic topology in Homotopy Type Theory for probabilistic programming.

Autoři: Bidlingmaier, Martin E. Faissole, Florian Spitters, Bas

Zdroj: Mathematical Structures in Computer Science; Nov2021, Vol. 31 Issue 10, p1301-1329, 29p

Témata: HOMOTOPY theory, TOPOLOGY, CONTINUOUS distributions, DISTRIBUTION (Probability theory), MEASURE theory

WHAT MONADS CAN AND CANNOT DO WITH A FEW EXTRA PAGES.

Autoři: MØGELBERG, RASMUS EJLERS ZWART, MAAIKE

Zdroj: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 4, p5:1-5:38, 38p

Generic Bidirectional Typing for Dependent Type Theories.

Autoři: Felicissimo, Thiago

Zdroj: ACM Transactions on Programming Languages & Systems; Mar2025, Vol. 47 Issue 1, p1-42, 42p

Témata: INTUITIONISTIC type theory

Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types.

Autoři: GORDON, COLIN S. ERNST, MICHAEL D. GROSSMAN, DAN a další

Zdroj: ACM Transactions on Programming Languages & Systems; May2017, Vol. 39 Issue 3, p1-54, 54p

Témata: DATA structures, PROGRAMMING languages, INTERACTIVE proof methods, SCALABILITY, VERIFICATION of computer systems

Gradualizing the Calculus of Inductive Constructions.

Autoři: LENNON-BERTRAND, MEVEN MAILLARD, KENJI TABAREAU, NICOLAS a další

Zdroj: ACM Transactions on Programming Languages & Systems; 2022, Vol. 44 Issue 2, p1-82, 82p

Témata: CALCULUS of variations, PROGRAMMING languages, METATHEORY, TRIANGLES

The Scott model of PCF in univalent type theory

Autoři: Tom de Jong

Zdroj: Mathematical Structures in Computer Science. 31:1270-1300

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, FOS: Mathematics, Mathematics - Logic, 0102 computer and information sciences, 0101 mathematics, Logic (math.LO), 16. Peace & justice, 01 natural sciences, Logic in Computer Science (cs.LO)

Přístupová URL adresa: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/39F5315B9E9457C473E1C274C07831F1/S0960129521000153a.pdf/div-class-title-the-scott-model-of-pcf-in-univalent-type-theory-div.pdf
http://arxiv.org/abs/1904.09810
https://research.birmingham.ac.uk/portal/en/publications/the-scott-model-of-pcf-in-univalent-type-theory(a1263378-f3ae-440e-8fcf-873e21762db3).html
https://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-09810

MODULES OVER MONADS AND OPERATIONAL SEMANTICS (EXPANDED VERSION).

Autoři: HIRSCHOWITZ, ANDRE HIRSCHOWITZ, TOM LAFONT, AMBROISE

Zdroj: Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 3, p1-67, 67p

Témata: PROGRAMMING languages, MATHEMATICAL category theory, CALCULI

An epistemic programming approach for automated theorem finding.

Autoři: Gao, Hongbiao Cheng, Jingde

Zdroj: 2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive Computing (ICCI+CC); 2015, p49-58, 10p

Trends in Functional Programming : 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers

Autoři: Stephen Chang

Resource Type: eBook.

Témata: Computer programming, Natural language processing (Computer science), Computer systems, Microprogramming, Programming languages (Electronic computers)

Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Architecture, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing