RPTU Universitätsbibliothek

Mail an Autor*in

A Reduction Ordering for Higher-Order Terms (Preprint)

Bitte geben Sie Ihre Kontaktdaten an, und wählen Sie aus, welchen der Autor*innen sie kontaktieren wollen.



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


Zurück zur Frontdoor