1.-
(1 pto) por cada versin
(define (filter-<- n nlist)
  (cond
    ((null? nlist) '())
    ((list? (car nlist)) (cons (filter-<- n (car nlist)) (filter-<- n (cdr nlist))))
    (else (if (< (car nlist) n)
              (cons (car nlist) (filter-<- n (cdr nlist)))
              (filter-<- n (cdr nlist))))))

;; Para la primera versin basta con comentar la linea ((list? ...))

(2 ptos)
(define (filter f nlist)
  (cond
    ((null? nlist) '())
    ((list? (car nlist)) (cons (filter f (car nlist)) (filter f (cdr nlist))))
    (else (if (f (car nlist))
              (cons (car nlist) (filter f (cdr nlist)))
              (filter f (cdr nlist))))))

(1 pto)
(define (pfilter-<- n nlist)
  (filter (lambda (e) (< e n)) nlist))

(1.0 pto)
Estoy usando la caracterstica de funciones de primera clase de Scheme, ya que la funcin filter recibe otra funcin como parmetro.

2.-

(1.5 ptos) * Para substituir el identificador I en E con la expresin V, reemplace todas las instancias libres de I en E con V.
(1.5 ptos) * Una variable que no ha sido enlazada
  Ej:
  {with {x 5}
          {+ x y}} -> y es variable libre, pero x no.
* {with {x {+ 5 10}}
     {with {y {- x 3}}
        {- x {+ 2 y}}}}

(1.5 ptos) x cada rgimen
Lazy ->
(subst x) {with {y {- {+ 5 10} 3}}
                 {- {+ 5 10} {+ 2 y}}}
(subst y) {- {+ 5 10} {+ 2 {- {+ 5 10} 3}}}
(eval)      1



Eager ->
(subst x) {with {y {- 15 3}}
                 {- 15 {+ 2 y}}}
(subst y) {- 15 {+ 2 12}}
-> 1

3.-
(2.0 ptos)
* En scope esttico, el espacio en el cual est definido un identificador est determinado por la porcin cdigo que la delimita (se sabe al momento de escribir el cdigo)
  En scope dinmico, el espacio en el cual est definido un identificador se determina al momento de ejecucin (las variables que estn definidas al momento del llamado a una funcin)
(1.0 ptos)
* Dinmico : Lisp
  Esttico: Scheme
(1.5 ptos)
* (define (foo x) n)
  (define (n 5) (foo 10)) -> 5
(1.5 ptos)
* En el intrprete al momento de interpretar la aplicacin de una funcin; en el caso esttico se le pasar un repostotrio donde slo existen los parmetros que ha recibido.
  El caso dinmico se le pasa el repositorio de sustitucin actual, adems del parmetro
  ds <-> mtSub
  (din)    (est)