5
-calculus với sự phản chiếu
Tôi đang tìm kiếm một phép tính đơn giản hỗ trợ lý luận về sự phản chiếu , cụ thể là sự hướng nội và thao tác của các chương trình đang chạy. Có phần mở rộng -calculus nào cho phép người ta chuyển đổi -terms thành một hình thức …