Comentario ñoñazo: Yo por eso prefiero índices de Bruijn; evitas los nombres.
Lo cual se relaciona con el hecho de que la alpha conversion y la disticion entre igualdad y equivalencia siempre me provocaron pesadillas.
Comentario ñoñazo: Yo por eso prefiero índices de Bruijn; evitas los nombres.
ResponderEliminarLo cual se relaciona con el hecho de que la alpha conversion y la disticion entre igualdad y equivalencia siempre me provocaron pesadillas.
ResponderEliminar