Výsledky vyhľadávania - "simply typed lambda-calculus"
-
1
Autori:
Prispievatelia:
Zdroj: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Predmety: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Generalized Metric Space, Simply Typed Lambda-Calculus, Cartesian Closed Categories, Quantitative Logical Relations, 16. Peace & justice, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
Popis súboru: application/pdf
Prístupová URL adresa: https://hal.archives-ouvertes.fr/hal-03346950/file/LICS2021named.pdf
https://dblp.uni-trier.de/db/conf/lics/lics2021.html#Pistone21
https://cris.unibo.it/handle/11585/834385.1
https://hal.archives-ouvertes.fr/hal-03346950
https://hal.archives-ouvertes.fr/hal-03346950/document
http://easyconferences.eu/lics2021/accepted-papers/#58 -
2
Autori:
Zdroj: CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y TécnicasPredmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Simply typed lambda calculus, Local confluence, Probabilistic rewriting system, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO)
Popis súboru: application/pdf
Prístupová URL adresa: http://arxiv.org/abs/2106.06633
http://hdl.handle.net/11336/204620 -
3
Autori:
Prispievatelia:
Predmety: bicategory, cartesian closed, coherence, Lambek-Curry-Howard correspondence, simply-typed lambda calculus, 2-dimensional type theory, normalisation-by-evaluation
Prístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.861864
-
4
Autori:
Zdroj: Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial intelligence, Logic, Linear logic, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Quantum mechanics, computer science - logic in computer science, Simply typed lambda calculus, Theoretical computer science, Engineering, Artificial Intelligence, Logic Programming and Knowledge Representation, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Encoding (memory), Lambda calculus, Nonmonotonic Reasoning, BC1-199, Determinism, Typed lambda calculus, Physics, FOS: Clinical medicine, Pi calculus, QA75.5-76.95, Church encoding, Computer science, Logic in Computer Science (cs.LO), Programming language, Algorithm, Aerospace engineering, Computational Theory and Mathematics, Constraint Logic Programming, Electronic computers. Computer science, Dentistry, Computer Science, Physical Sciences, Medicine, Program Analysis and Verification Techniques, Correctness, Intersection (aeronautics), Calculus (dental), Dependent type, Mathematics, Formal Methods in Software Verification and Control
Popis súboru: application/pdf
-
5
Autori:
Prispievatelia:
Zdroj: Mathematical Structures in Computer Science. 30:627-663
Predmety: anti-unification, Simply typed lambda calculus, 0202 electrical engineering, electronic engineering, information engineering, equational theories, higher-order patterns, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences
Prístupová URL adresa: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/88E26F155F0FD02B3EDD648971D9AD1B/S0960129520000110a.pdf/div-class-title-higher-order-pattern-generalization-modulo-equational-theories-div.pdf
https://epub.jku.at/obvulioa/content/titleinfo/5901849
https://dblp.uni-trier.de/db/journals/mscs/mscs30.html#CernaK20
https://epub.jku.at/id/5901849
https://permalink.obvsg.at/ULI/AC16169955
https://doi.org/10.1017/s0960129520000110 -
6
Autori: Hyeonseung Im
Zdroj: Mathematics, Vol 9, Iss 4, p 385 (2021)
Predmety: CPS transformation, double negation translation, simply typed lambda-calculus, propositional logic, Curry-Howard isomorphism, Mathematics, QA1-939
Relation: https://www.mdpi.com/2227-7390/9/4/385; https://doaj.org/toc/2227-7390; https://doaj.org/article/12bea302e8594455af9bcd299b6d0484
-
7
Autori:
Zdroj: Theoretical Computer Science. 977:114172
Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, ISOMORPHISMS, SIMPLY TYPED LAMBDA CALCULUS, LOGIC, 03F05, 03B40, 03B38, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Logic in Computer Science (cs.LO)
Popis súboru: application/pdf
Prístupová URL adresa: http://arxiv.org/abs/2002.03762
http://hdl.handle.net/11336/249075 -
8
Autori: Schwichtenberg, Helmut
Zdroj: Studia Logica: An International Journal for Symbolic Logic, 1999 Mar 01. 62(2), 283-289.
Prístupová URL adresa: https://www.jstor.org/stable/20016044
-
9
Autori:
Prispievatelia:
Popis súboru: application/pdf
Relation: Is Part Of LIPIcs, Volume 131, 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2019.14
-
10
Autori:
Prispievatelia:
Zdroj: ACM SIGPLAN Notices. 50:243-255
Predmety: focusing, Unique inhabitants, saturation, 0202 electrical engineering, electronic engineering, information engineering, sums, 02 engineering and technology, 16. Peace & justice, code inference, proof search, canonicity, simply-typed lambda-calculus, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
Popis súboru: application/pdf
Prístupová URL adresa: http://gallium.inria.fr/%7Escherer/research/unique_inhabitants/unique_stlc_sums-long.pdf
https://inria.hal.science/hal-01235596v1
http://gallium.inria.fr/~scherer/research/unique_inhabitants/unique_stlc_sums-long.pdf
https://hal.inria.fr/hal-01235596/
https://dblp.uni-trier.de/db/conf/icfp/icfp2015.html#SchererR15
https://hal.inria.fr/hal-01235596/document
https://dl.acm.org/doi/10.1145/2784731.2784757 -
11
Autori: Saville, Philip
Zdroj: arXiv: Category Theory.
Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, bicategory, Mathematics - Category Theory, 0102 computer and information sciences, Lambek-Curry-Howard correspondence, 01 natural sciences, F.4.1, F.3.2, cartesian closed, coherence, Logic in Computer Science (cs.LO), simply-typed lambda calculus, FOS: Mathematics, Category Theory (math.CT), 18N10 (Primary), 18C50 (Secondary), 2-dimensional type theory, normalisation-by-evaluation, 0101 mathematics
Prístupová URL adresa: http://arxiv.org/abs/2007.00624
https://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-00624
https://ui.adsabs.harvard.edu/abs/2020arXiv200700624S/abstract
https://arxiv.org/abs/2007.00624
https://www.repository.cam.ac.uk/handle/1810/307984
http://export.arxiv.org/pdf/2007.00624
https://arxiv.org/pdf/2007.00624.pdf -
12
Autori:
Prispievatelia:
Predmety: higher-order grammar, pumping lemma, Kruskal's tree theorem, well-quasi-ordering, simply-typed lambda calculus
Popis súboru: application/pdf
Relation: Is Part Of LIPIcs, Volume 122, 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2018.14
-
13
Autori:
Prispievatelia:
Popis súboru: application/pdf
Relation: Is Part Of LIPIcs, Volume 108, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2018.12
-
14
Autori:
Prispievatelia:
Zdroj: Lecture Notes in Computer Science ISBN: 9783642392115
Predmety: Simply typed lambda-calculus, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], OI, Montague semantics, IO, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, Membership problem, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Higher-order grammars, 8. Economic growth, 0202 electrical engineering, electronic engineering, information engineering, Formal language theory, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Popis súboru: application/pdf
Prístupová URL adresa: https://hal.archives-ouvertes.fr/hal-01251097/file/io_and_oi_revisited.pdf
https://inria.hal.science/hal-00818069v1
https://www.sciencedirect.com/science/article/pii/S0890540114001679
https://dblp.uni-trier.de/db/journals/iandc/iandc243.html#KobeleS15
http://dblp.uni-trier.de/db/journals/iandc/iandc243.html#KobeleS15
https://hal.archives-ouvertes.fr/hal-01251097/document
https://www.sciencedirect.com/science/article/abs/pii/S0890540114001679
https://tel.archives-ouvertes.fr/INRIA/hal-01251097v1
https://link.springer.com/10.1007/978-3-642-39212-2_31
https://dblp.uni-trier.de/db/conf/icalp/icalp2013-2.html#KobeleS13
https://hal.inria.fr/hal-00818069/document
https://rd.springer.com/chapter/10.1007/978-3-642-39212-2_31
https://hal.inria.fr/hal-00818069
https://link.springer.com/chapter/10.1007/978-3-642-39212-2_31 -
15
Autori:
Prispievatelia:
Popis súboru: application/pdf
Relation: Is Part Of LIPIcs, Volume 84, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2017.29
-
16
Autori:
Prispievatelia:
Zdroj: arXiv: Logic in Computer Science.
Predmety: anti-unification, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Simply typed lambda calculus, 0202 electrical engineering, electronic engineering, information engineering, equational theories, 0102 computer and information sciences, 02 engineering and technology, ddc:004, 01 natural sciences, Logic in Computer Science (cs.LO)
Popis súboru: application/pdf
Prístupová URL adresa: http://arxiv.org/abs/1801.07438
http://arxiv.org/pdf/1801.07438.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1801.html#abs-1801-07438
https://ui.adsabs.harvard.edu/abs/2018arXiv180107438C/abstract
https://arxiv.org/abs/1801.07438
http://dblp.uni-trier.de/db/conf/rta/fscd2018.html#CernaK18
https://drops.dagstuhl.de/opus/volltexte/2018/9182/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2018.12 -
17
Autori:
Zdroj: arXiv: Logic in Computer Science.
Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Separation Logic, Economics, Curry–Howard correspondence, 0102 computer and information sciences, Normalization (sociology), Type Inference, 01 natural sciences, Quantum mechanics, Term (time), Model Checking, Simply typed lambda calculus, Engineering, Sociology, Artificial Intelligence, Logic Programming and Knowledge Representation, FOS: Mathematics, 0101 mathematics, Lambda calculus, Nonmonotonic Reasoning, Algebra over a field, Factoring, Typed lambda calculus, Physics, Pure mathematics, Linguistics, System F, Prefix, Discrete mathematics, Logic in Computer Science (cs.LO), FOS: Philosophy, ethics and religion, FOS: Sociology, Philosophy, Aerospace engineering, Computational Theory and Mathematics, Constraint Logic Programming, Anthropology, Computer Science, Physical Sciences, FOS: Languages and literature, Program Analysis and Verification Techniques, Intersection (aeronautics), Mathematics, Finance, Formal Methods in Software Verification and Control
-
18
Autori: Manfred Schmidt-Schauß
Zdroj: Theoretical Computer Science. 216:363-373
Predmety: strictness analysis, Theory of programming languages, Semantics in the theory of computing, PCF, Strictness analysis, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, PCF, Theoretical Computer Science, Simply typed lambda calculus, behavioral equivalence, simply typed lambda calculus, 0202 electrical engineering, electronic engineering, information engineering, Behavioral equivalence, Computer Science(all)
Popis súboru: application/xml
-
19
Autori:
Zdroj: Theoretical Computer Science, 412, 28, pp. 3242-3261
Predmety: Simply typed lambda calculus, Typing algorithms, Unification, Data Science, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Theoretical Computer Science, Computer Science(all)
Prístupová URL adresa: https://research.tue.nl/en/publications/dca9b992-c3b0-4e7a-8ab6-905aec25f37e
https://doi.org/10.1016/j.tcs.2011.03.016
https://research.tue.nl/nl/publications/the-correctness-of-newmans-typability-algorithm-and-some-of-its-e
https://www.sciencedirect.com/science/article/pii/S0304397511002465
https://core.ac.uk/display/16176900
https://www.sciencedirect.com/science/article/abs/pii/S0304397511002465
https://robbertkrebbers.nl/research/articles/newman.pdf
https://repository.ubn.ru.nl/bitstream/handle/2066/92446/92446.pdf
https://repository.ubn.ru.nl//bitstream/handle/2066/92446/92446.pdf
http://hdl.handle.net/2066/92446 -
20
Autori: Mossin, Christian
Zdroj: Lecture Notes in Computer Science ISBN: 9783540634683
Predmety: simply typed lambda calculus, type-based flow analysis, Combinatory logic and lambda calculus, 0102 computer and information sciences, 0101 mathematics, Functional programming and lambda calculus, 01 natural sciences, 7. Clean energy
Popis súboru: application/xml
Prístupová URL adresa: https://zbmath.org/1933109
https://doi.org/10.1017/s0960129502003857
https://rd.springer.com/chapter/10.1007/BFb0032746
https://dblp.uni-trier.de/db/conf/sas/sas97.html#Mossin97
https://link.springer.com/chapter/10.1007/BFb0032746
https://dl.acm.org/doi/10.1017/S0960129502003857
https://dblp.uni-trier.de/db/journals/mscs/mscs13.html#Mossin03
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/exact-flow-analysis/EBBF674EE31F58DE7B50A0720136933D
https://dialnet.unirioja.es/servlet/articulo?codigo=321523
http://www.journals.cambridge.org/abstract_S0960129502003857
https://doi.org/10.1017/S0960129502003857
Nájsť tento článok vo Web of Science 
Full Text Finder