Đang chuẩn bị liên kết để tải về tài liệu:
Báo cáo khoa học: "Underspecified Beta Reduction"

Không đóng trình duyệt đến khi xuất hiện nút TẢI XUỐNG

For ambiguous sentences, traditional semantics construction produces large numbers of higher-order formulas, which must then be -reduced individually. Underspecified versions can produce compact descriptions of all readings, but it is not known how to perform -reduction on these descriptions. We show how to do this using -reduction constraints in the constraint language for -structures (CLLS). They are based on dominance constraints (Marcus et al., 1983; Rambow et al., 1995) and extend them with parallelism (Erk and Niehren, 2000) and binding constraints. .

Đã 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.