| ชื่อเรื่อง | : | Lambda-calculus with patterns |
| นักวิจัย | : | Pimpen Vejjajiva |
| คำค้น | : | Lambda calculus |
| หน่วยงาน | : | จุฬาลงกรณ์มหาวิทยาลัย |
| ผู้ร่วมงาน | : | Ajchara Harnchoowong , Hall, Mark Edwin , Chulalonglorn University. Graduate School |
| ปีพิมพ์ | : | 2540 |
| อ้างอิง | : | 9746384147 , http://cuir.car.chula.ac.th/handle/123456789/10239 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Thesis (M.Sc.)--Chulalongkorn University, 1997 The original lambed-calculus can be used to represent a function, via a lambda-term, and to interpret the result of applying a function to an argument. However, there are some functions which cannot be represented by lambda-terms. By adding patterns, which will be used to specify the form of the argument accepted, and to extract subterms of the argument, and by modifying the definition of terms to allow a kind of "definition by cases" we can construct a new lambda-calculus. This new lambda-calculus can describe a larger class of functions, yet still satisfies all the basic properties of the original lambda-calculus, including the Church-Rosser theorem. |
| บรรณานุกรม | : |
Pimpen Vejjajiva . (2540). Lambda-calculus with patterns.
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย. Pimpen Vejjajiva . 2540. "Lambda-calculus with patterns".
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย. Pimpen Vejjajiva . "Lambda-calculus with patterns."
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย, 2540. Print. Pimpen Vejjajiva . Lambda-calculus with patterns. กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย; 2540.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
