Results 1 - 20 of 165 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Refined by:
Database:
DOAJ Directory of Open Access Journals
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)Logical methods in computer science, 2022-02, Vol.16, Issue 1 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-16(1:15)2020Full text available |
| 2 |
Material Type: Article
|
|
Higher Order Automatic Differentiation of Higher Order Functionsinfo:eu-repo/semantics/OpenAccess ;ISSN: 1860-5974 ;EISSN: 1860-5974Full text available |
| 3 |
Material Type: Article
|
|
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation LogicLogical methods in computer science, 2022-06, Vol.18, Issue 2 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-18(2:16)2022Full text available |
| 4 |
Material Type: Article
|
|
Handling Algebraic EffectsLogical methods in computer science, 2013-12, Vol.9, Issue 4 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-9(4:23)2013Full text available |
| 5 |
Material Type: Article
|
|
Deconfined Global Types for Asynchronous SessionsLogical methods in computer science, 2023-01, Vol.19, Issue 1 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-19(1:3)2023Full text available |
| 6 |
Material Type: Article
|
|
Separating Sessions SmoothlyLogical methods in computer science, 2023-01, Vol.19, Issue 3 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-19(3:3)2023Full text available |
| 7 |
Material Type: Article
|
|
Monads need not be endofunctorsLogical methods in computer science, 2015-03, Vol.11, Issue 1 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-11(1:3)2015Full text available |
| 8 |
Material Type: Article
|
|
Relational $\star$-Liftings for Differential PrivacyLogical methods in computer science, 2019-12, Vol.15, Issue 4 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-15(4:18)2019Full text available |
| 9 |
Material Type: Article
|
|
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and BeyondLogical methods in computer science, 2022-10, Vol.18, Issue 4 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-18(4:2)2022Full text available |
| 10 |
Material Type: Article
|
|
Galois connecting call-by-value and call-by-nameLogical methods in computer science, 2024-01, Vol.20, Issue 1 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.46298/lmcs-20(1:13)2024Full text available |
| 11 |
Material Type: Article
|
|
revTPL: The Reversible Temporal Process LanguageLogical methods in computer science, 2024-01, Vol.20, Issue 1 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-20(1:11)2024Full text available |
| 12 |
Material Type: Article
|
|
Exponentials as Substitutions and the Cost of Cut Elimination in Linear LogicLogical methods in computer science, 2023-12, Vol.19, Issue 4 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-19(4:23)2023Full text available |
| 13 |
Material Type: Article
|
|
Higher Order Automatic Differentiation of Higher Order FunctionsLogical methods in computer science, 2022-01, Vol.18, Issue 1 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-18(1:41)2022Full text available |
| 14 |
Material Type: Article
|
|
Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD LibraryLogical methods in computer science, 2023-10, Vol.19, Issue 4 (4) [Peer Reviewed Journal]Attribution ;ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-19(4:5)2023Full text available |
| 15 |
Material Type: Article
|
|
Java Lambda: a Featherweight StoryLogical methods in computer science, 2018-09, Vol.14, Issue 3 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-14(3:17)2018Full text available |
| 16 |
Material Type: Article
|
|
Solvability = Typability + InhabitationLogical methods in computer science, 2021-01, Vol.17, Issue 1 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-17(1:7)2021Full text available |
| 17 |
Material Type: Article
|
|
Robustness Against Transactional Causal ConsistencyLogical methods in computer science, 2021-01, Vol.17, Issue 1 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-17(1:12)2021Full text available |
| 18 |
Material Type: Article
|
|
A unifying framework for continuity and complexity in higher typesLogical methods in computer science, 2020-09, Vol.16, Issue 3 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-16(3:17)2020Full text available |
| 19 |
Material Type: Article
|
|
Beyond Notations: Hygienic Macro Expansion for Theorem Proving LanguagesLogical methods in computer science, 2022-01, Vol.18, Issue 2 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-18(2:1)2022Full text available |
| 20 |
Material Type: Article
|
|
Strongly-Normalizing Higher-Order Relational QueriesLogical methods in computer science, 2022-08, Vol.18, Issue 3 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-18(3:23)2022Full text available |
Results 1 - 20 of 165 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Refine My Results
Creation Date
- Before 2008 (10)
- 2008 To 2011 (38)
- 2012 To 2015 (38)
- 2016 To 2020 (44)
- After 2020 (36)
-
More options
Subject
- Computer Science (143)
- Computer Science, Theory & Methods (140)
- Science & Technology (140)
- Technology (140)
- Logic (140)
- Science & Technology - Other Topics (140)
- Computer Science - Logic In Computer Science (110)
- F.3.2 (34)
- F.4.1 (21)
- D.3.1 (19)
- F.3.1 (18)
- Logic In Computer Science (16)
- Programming Languages (13)
- General Computer Science (10)
- Mathematics - Category Theory (10)
- Theoretical Computer Science (10)
- Concurrency (9)
- Session Types (9)
- D.2.4 (8)
-
More options
Databases
Journal Title
- Arxiv (22)
- Doaj (7)
- Hal (6)
- Logical Methods In Computer Science (164)
-
More options
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||