Search Results - Theory of computation Logic Type theory
-
1
Authors:
Source: Journal of Logic and Computation. 34(6):1032-1063
Subject Terms: Mahlo, extended predicativity, partial functions, universes, constructive mathematics, Martin-Lof type theory, Agda, inductive-recursive definitions, explicit mathematics, indexed induction-recursion, predicativity, meaning explanations
File Description: electronic
-
2
Authors:
Source: The Journal of Symbolic Logic, 2013 Dec 01. 78(4), 1086-1114.
Access URL: https://www.jstor.org/stable/43303699
-
3
Authors: et al.
Contributors: et al.
Source: 12th International Conference on Interactive Theorem Proving
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Proof assistants, Dependent type theory, Logical frameworks, Theory of computation → Higher order logic, ddc:004, Theory of computation → Type theory, Homotopy type theory, Theory of computation → Logic and verification, Logic in Computer Science (cs.LO)
File Description: application/pdf
-
4
Authors: Loukanova, Roussanka
Source: Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART 2018). :231-242
Subject Terms: Mathematics Of Algorithms, Recursion, Types, Semantics, Algorithmic Semantics, Denotation, Canonical Computations, matematisk logik, Mathematical Logic
File Description: print
-
5
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Programming Languages. 8:2514-2546
Subject Terms: Denotational semantics, geometry of interaction, CCS Concepts: Theory of computation → Lambda calculus Probabilistic computation Linear logic Type theory Denotational semantics intersection types, Type theory, probabilistic programming, Theory of computation → Lambda calculus, Linear logic, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 01 natural sciences, CCS Concepts, Bayesian networks, programming languages, intersection types, 0202 electrical engineering, electronic engineering, information engineering, bounds, Probabilistic computation
File Description: application/pdf
-
6
Authors:
Contributors:
Source: Proceedings of the ACM on Programming Languages. 7:806-832
Subject Terms: CCS Concepts, Shape Analysis, Computational Complexity, Type theory, Logic and verification Polynomial time, CCS Concepts: Theory of computation → Complexity theory and logic Type theory Logic and verification Polynomial time, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Theory of computation → Complexity theory and logic, [INFO] Computer Science [cs], Noninterference, 01 natural sciences
File Description: application/pdf
-
7
Authors: et al.
Source: Proceedings of the ACM on Programming Languages. 8(PLDI)
Subject Terms: Distributed Computing and Systems Software, Information and Computing Sciences, Software engineering, Theory of computation, Numerical and computational mathematics
File Description: application/pdf
-
8
Authors: et al.
Contributors: et al.
Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Logic, Theory of computation → Proof theory, Set Theory, Classical Realizability, ddc:004, Large Cardinals, Theory of computation → Type theory, Theory of computation → Logic
File Description: application/pdf
-
9
Authors: Wesley, William John
Subject Terms: Mathematics, Computer science, Algebra, Combinatorics, Logic, Ramsey theory, SAT solving
File Description: application/pdf
-
10
Contributors:
Subject Terms: Categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, logics of programming, software specification and refinement, models of concurrent systems, emerging models of computation, logical aspects of computational complexity, correctness, transformation, and verification, models of software security, Computer science, Mathematical foundations, Algorithms and data structures, Systems analysis and design, Mathematical theory of computation
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
11
Authors: et al.
Source: 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS).
Subject Terms: Computer and Information Sciences, Data- och informationsvetenskap (Datateknik), framework
Access URL: https://gup.ub.gu.se/publication/289861
-
12
Authors: et al.
Contributors: et al.
Source: Proc. ACM Program. Lang ; https://hal.science/hal-04337161 ; Proc. ACM Program. Lang, In press, POPL 2024, ⟨10.1145/363292⟩
Subject Terms: CCS Concepts: Theory of computation → Lambda calculus Probabilistic computation Linear logic Type theory Denotational semantics intersection types, bounds, Bayesian networks, probabilistic programming, programming languages, geometry of interaction, CCS Concepts, Theory of computation → Lambda calculus, Probabilistic computation, Linear logic, Type theory, Denotational semantics, intersection types, [INFO]Computer Science [cs]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2311.04651; ARXIV: 2311.04651
-
13
Authors:
Source: 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia Leibniz International Proceedings in Informatics, LIPIcs. 97
Subject Terms: canonicity, type theory, univalence
File Description: electronic
-
14
Contributors:
Subject Terms: Mathematical Logic and Formal Languages, Theory of Computation, Natural Language Processing (NLP), Database Management, Programming Techniques, Formal Languages and Automata Theory, automata theory, databases, formal languages, formal logic, computational linguistics, open access, semantics, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, logical foundations of data bases, models of software security, logical aspects of computation complexity, logics of programming, Mathematical theory of computation, Computer science, Natural language & machine translation, Database programming, Computer programming / software engineering, Artificial intelligence, Databases
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
15
Authors:
Contributors:
Source: arXiv: Logic in Computer Science.
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], classical logic, 2012 ACM Subject Classification Theory of computation → Logic, 7. Clean energy, forcing, tripos, Theory of computation → Type theory Keywords and phrases realizability, call-by-value, 11. Sustainability, proofs-as-programs, 9. Industry and infrastructure, 4. Education, λ-calculus, 16. Peace & justice, 3. Good health, Logic in Computer Science (cs.LO), realizability, Theory of computation → Proof theory, model theory, lattices, duality, ddc:004, call-by-name
File Description: application/pdf
Access URL: http://arxiv.org/abs/1910.02732
https://hal.science/hal-02305560v2
https://doi.org/10.4230/lipics.csl.2020.30
https://hal.science/hal-02305560v2/document
https://ui.adsabs.harvard.edu/abs/2019arXiv191002732M/abstract
https://arxiv.org/abs/1910.02732
https://dblp.uni-trier.de/db/journals/corr/corr1910.html#abs-1910-02732
http://dblp.uni-trier.de/db/journals/corr/corr1910.html#abs-1910-02732
http://arxiv.org/pdf/1910.02732.pdf
https://arxiv.org/abs/1910.02732
https://hal.archives-ouvertes.fr/hal-02305560v2
https://doi.org/10.4230/LIPIcs.CSL.2020.30
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2020.30 -
16
Contributors:
Subject Terms: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
17
Authors: Spadetto, Matteo
Subject Terms: FOS: Computer and information sciences, 03F50, 03G30, 18C10, 03B38, 03B70, 18N45, 18D30, 55U35, 55U40, Logic, Logic in Computer Science, FOS: Mathematics, Category Theory, Category Theory (math.CT), Logic (math.LO), Logic in Computer Science (cs.LO)
Access URL: http://arxiv.org/abs/2507.07208
-
18
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Programming Languages. 9:2253-2281
Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], proof assistants, Theory of computation → Type theory type theory, type theory
File Description: application/pdf
-
19
Contributors:
Subject Terms: Mathematical Logic and Foundations, Discrete Mathematics in Computer Science, Programming Languages, Compilers, Interpreters, Programming Techniques, Logic in AI, Computer Systems Organization and Communication Networks, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, correctness, transformation, and verification, logics of programming, software specification and refinement, emerging models of computation, logical aspects of computational complexity, models of software security, logical foundations of data bases, mathematics, artificial intellegence, formal logic, linguistics, Mathematical foundations, Mathematical logic, Discrete mathematics, Maths for computer scientists, Programming & scripting languages: general, Compilers & interpreters, Computer programming / software engineering, Artificial intelligence, Computer networking & communications, Programming and scripting languages: general, Computer networking and communications
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
20
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Programming Languages
Subject Terms: CCS Concepts: • Theory of computation → Type theory, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Parametricity, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Efects, CCS Concepts: • Theory of computation → Functional constructs, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 02 engineering and technology, 16. Peace & justice, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], CCS Concepts: • Theory of computation → Program verification, 0202 electrical engineering, electronic engineering, information engineering, Exceptions, Functional constructs
File Description: application/pdf
Access URL: https://dl.acm.org/doi/pdf/10.1145/3341712
https://inria.hal.science/hal-02189128v1/document
https://doi.org/10.1145/3341712
https://inria.hal.science/hal-02189128v1
https://dl.acm.org/doi/pdf/10.1145/3341712
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#PedrotTFT19
https://dlnext.acm.org/doi/abs/10.1145/3341712
https://hal.inria.fr/hal-02189128
https://dl.acm.org/doi/10.1145/3341712
https://hal.inria.fr/hal-02189128/document
Nájsť tento článok vo Web of Science 
Full Text Finder