RPTU University Library

Send mail to Author

A Reduction Ordering for Higher-Order Terms (Preprint)

Please indicate your contact information and select, which author you want to contact.



 
  _____    _    _    _    _     ______   _    _     _____   
 /  ___|| | || | || | || | ||  /_   _// | |  | ||  |  ___|| 
| // __   | || | || | || | ||   -| ||-  | |/\| ||  | ||__   
| \\_\ || | \\_/ || | \\_/ ||   _| ||_  |  /\  ||  | ||__   
 \____//   \____//   \____//   /_____// |_// \_||  |_____|| 
  `---`     `---`     `---`    `-----`  `-`   `-`  `-----`
 


Back to frontdoor view