Báo cáo khoa học: "PROOF FIGURES AND STRUCTURAL OPERATORS FOR CATEGORIAL GRAMMAR"

Use of Lambek's (1958) categorial grammar for linguistic work has generally been rather limited. There appear to be two main reasons for this: the notations most commonly used can sometimes obscure the structure of proofs and fail to clearly convey linguistic structure, and the cMculus as it stands is apparently not powerful enough to describe many phenomena encountered in natural language. In this paper we suggest ways of dealing with both these deficiencies.

Không thể tạo bản xem trước, hãy bấm tải xuống
Tải xuống
TÀI LIỆU LIÊN QUAN

Báo cáo khoa học: "PROOF FIGURES AND STRUCTURAL OPERATORS FOR CATEGORIAL GRAMMAR"
6    30    0
TÀI LIỆU XEM NHIỀU

Thiết kế kế hoạch bài học môn Toán theo định hướng phát triển năng lực học sinh
13    41197    2419

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3    25149    250

31 Câu hỏi ôn tập môn Chủ nghĩa xã hội khoa học
25    24824    4299

Tiểu luận: Vai trò của Nguyễn Ái Quốc đối với việc thành lập Đảng Cộng sản Việt Nam
16    20311    2847

Tiểu luận Tình huống xử lý sai phạm trong thanh toán công tác phí lưu động
20    19729    1550

100 câu hỏi trắc nghiệm Triết học Mác-Lênin kèm đáp án
14    19613    2977

Bảng biến đổi Laplace và biến đổi Z
1    19529    621

Ebook Ôn luyện tiếng Anh 9 có đáp án: Phần 2 - Mai Lan Hương, Hà Thanh Uyên
37    16404    2959

Đề thi và Đáp án môn Tiếng Việt thực hành - ĐH SPKT TP.HCM
3    16341    331

Sự so sánh văn bản văn học và tác phẩm văn học
1    14919    135
TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG

Đề khảo sát chất lượng môn Toán năm 2020-2021 - Sở GD&ĐT Nghệ An - Mã đề 123
5    263    1    30-06-2024

Đặc điểm vật liệu cháy dưới tán rừng trồng keo lai (Acacia auriculiformis x Mangium) ở trại thực nghiệm của phân hiệu trường Đại học Lâm Nghiệp tại huyện Tánh Linh, tỉnh Bình Thuận
10    81    1    30-06-2024

Bài giảng Quản lý công (Public management) - Chương 1: Tổng quan về quản lý công
14    289    5    30-06-2024

Genomic analysis of Escherichia coli strains isolated from diseased chicken in the Czech Republic
10    80    1    30-06-2024

Selecting exercises for developing physical strength of male students in the badminton team at Phu Yen University
5    394    3    30-06-2024

Chất lượng giấc ngủ và các yếu tố liên quan ở bệnh nhân tăng huyết áp tại phòng khám bác sĩ gia đình bệnh viện quận 2, thành phố Hồ Chí Minh
8    91    1    30-06-2024

Luận văn Thạc sĩ Luật học: Biện pháp ngăn chặn bắt người đang bị truy nã trong tố tụng hình sự Việt Nam
94    85    1    30-06-2024

Sản phẩm thiết kế truyền thông trong xây dựng và phát triển hình ảnh thương hiệu
4    95    1    30-06-2024

Sáng kiến kinh nghiệm THPT: Một số giải pháp đổi mới hoạt động ngoại khoá ở trường THPT Diễn Châu 5
83    375    6    30-06-2024

Bài giảng Quản lý nhà nước về kinh tế - Chương 2: Chức năng và các nguyên tắc cơ bản của quản lý nhà nước về kinh tế
20    431    11    30-06-2024

Luận văn Thạc sĩ Quản trị kinh doanh: Trách nhiệm xã hội của doanh nghiệp (CSR) trong nghiệp vụ thuê ngoài (outsourcing) của các doanh nghiệp ngành CNTT ở Việt Nam - Nghiên cứu trường hợp công ty Tek-Experts
93    201    3    30-06-2024

Nghiên cứu chế tạo và khảo sát một số tính chất cơ - nhiệt của vật liệu compozit trên cơ sở nhựa phenolic/vải thủy tinh
6    123    3    30-06-2024

The moderating role of perceived CSR messages on the relationship between e-WOM and online customer trust
7    94    1    30-06-2024

Lecture Object-Oriented programming - Lesson 41: Standard template library
38    96    1    30-06-2024

Bài tập Kỹ thuật lập trình - TS. Nguyễn Duy Phương
180    423    1    30-06-2024

Luận văn Thạc sĩ Luật học: Nguyên tắc giải quyết vấn đề dân sự trong vụ án hình sự
116    107    10    30-06-2024

Chiến lược kinh doanh của Michelin Việt Nam
13    97    1    30-06-2024

Chỉnh sửa genome – công nghệ đột phá trong chọn tạo giống cà chua và dưa lưới tại Nhật Bản
4    728    1    30-06-2024

Bài giảng Microsoft Excel - Trường CĐN Công nghệ và Nông lâm Nam Bộ
90    440    3    30-06-2024

Giáo trình Mạng máy tính và Internet (Nghề: Quản trị mạng - Cao đẳng): Phần 1 - Trường Cao đẳng Cơ điện Xây dựng Việt Xô
62    181    3    30-06-2024
TÀI LIỆU HOT

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3    25149    250

Thiết kế kế hoạch bài học môn Toán theo định hướng phát triển năng lực học sinh
13    41197    2419

CẬP  NHẬT KINH TẾ VĨ MÔ VIỆT NAM 6 tháng đầu năm 2020
3    2997    81

Sách trắng Doanh nghiệp Việt Nam năm 2020
580    5324    363

Việt Nam 2035 hướng tới thịnh vượng, sáng tạo, công bằng và dân chủ
584    3558    101

BÀI GIẢNG DỰNG HÌNH SKETCHUP 2020 BIÊN SOẠN : GV.KTS PHAN THỨC
62    6908    1

GIÁO TRÌNH TIẾNG ANH ENG BREAKING
171    5924    721

Quản trị khủng hoảng trong quan hệ công chúng
2    3374    78

Báo cáo thực tập chuyên ngành: Nghiên cứu, thiết kế, mô phỏng robot công nghiệp
51    4671    200

Đề tài “ Cân đối ngân sách nhà nước- thực trạng và hướng hoàn thiện”
53    4974    189
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.