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