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