지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2021.1
- 수록면
- 68 - 91 (24page)
이용수
초록· 키워드
오류제보하기
We propose a concrete surface representation of abstract categorial grammars in the category of word cobordisms or cowordisms for short, which are certain bipartite graphs decorated withwords in a given alphabet, generalizing linear logic proof-nets. We also introduce and study linear logic grammars, directly based on cobordisms and using classical multiplicative linear logic as a typing system.
목차
등록된 정보가 없습니다.
참고문헌 (21)
참고문헌 신청
Abramsky, Samson / 2005 / Algebra and Coalgebra in Computer Science / Springer Berlin Heidelberg :1~29
Abramsky, Samson / 2009 / Handbook of Quantum Logic and Quantum Structures / Elsevier :261~323
Baez, J. / 2011 / New Structures for Physics / Springer Berlin Heidelberg :95~172
Baez, John C. / 1995 / Higher-dimensional algebra and topological quantum field theory / Journal of Mathematical Physics 36(11):6073~6105
Barendregt, Hendrik Pieter / 1985 / The Lambda Calculus - Its Syntax and Semantics / Studies in logic and the foundations of mathematics 103
Abramsky, Samson / 2009 / Handbook of Quantum Logic and Quantum Structures / Elsevier :261~323
Baez, J. / 2011 / New Structures for Physics / Springer Berlin Heidelberg :95~172
Baez, John C. / 1995 / Higher-dimensional algebra and topological quantum field theory / Journal of Mathematical Physics 36(11):6073~6105
Barendregt, Hendrik Pieter / 1985 / The Lambda Calculus - Its Syntax and Semantics / Studies in logic and the foundations of mathematics 103
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
국어 문법의 대중화 방법 : 대중 문법의 제안
문화와융합
2018 .06
-
한국어 문법 교육 연구 동향 분석
문화와융합
2022 .06
-
초급 한국어 교재에서의 문법 항목 제시 양상
한국콘텐츠학회논문지
2017 .06
-
메타분석을 통한 영어 교과에서의 문법 교육의 효과 분석
한국콘텐츠학회논문지
2016 .01
-
Insight Grammar Learning
Journal of Cognitive Science
2016 .01
-
교양글쓰기 수업 내 규범 교육의 위상 - 규범 인식의 확장을 중심으로 -
문화와융합
2022 .10
-
애니메이션을 활용한 중국어 문법교육 교수법 연구
예술인문사회 융합 멀티미디어 논문지
2018 .01
-
한국어 교육 문법 항목의 사용역 분석 연구 - 구어 격식/비격식 사용역을 중심으로 -
문화와융합
2023 .04
-
말하기 및 쓰기 능력 개발을 위한 2015 개정교육과정 고1 영어 교과서 문법 영역 효과성 분석
예술인문사회 융합 멀티미디어 논문지
2019 .01
-
영문법 학습 교재의 5문형 분류 체계
한국콘텐츠학회논문지
2016 .06
-
The use of an online grammar checker in English writing learning
디지털융복합연구
2021 .01
-
북미 초등학생 대상 한국어 교재의 문법 항목 검토과 제언 - 제이와이북스 <한국어 3>과 <한국어 4>를 중심으로 -
문화와융합
2023 .05
-
영어교육과 학생들의 영어 문법에 대한 인식과 의사소통 중심 문법 교육
예술인문사회 융합 멀티미디어 논문지
2018 .01
-
The grammar of logical meaning and its implications for Korean <-> English translator training
예술인문사회 융합 멀티미디어 논문지
2018 .01
-
영어시험 학습서에 나타난 문법 분류 체계와 용어에 대한 고찰
문화와융합
2023 .09
-
액션러닝 기반 한국어 유사 문법 교사 교육 프로그램 개발 기초 연구
문화와융합
2023 .01
-
Interlanguage as Linguistic System: Prosodic Evidence from Ìgbò Learners and Users of Yorùbá Tones
Journal of Cognitive Science
2016 .01
-
The Effects of Chatbot on Grammar Competence for Korean EFL College Students
디지털융복합연구
2022 .03
-
호어 논리와 커리-하워드 대응관계 사이의 연관성 분석
한국지식정보기술학회 논문지
2020 .01
-
Cognitive Representations of Natural Languages by using Topology and Combinatory Logic
Journal of Cognitive Science
2024 .09
이 논문의 저자 정보
최근 본 자료
댓글(0)
0